preface.qcheck
Suite.R
preface
preface.core
preface.laws
preface.make
preface.specs
preface.stdlib
type 'a t
val generator : 'a QCheck2.Gen.t -> 'a t QCheck2.Gen.t
val observable : 'a QCheck2.Observable.t -> 'a t QCheck2.Observable.t
val pp : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit
val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool