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