package preface
Parameter Suite.F
val generator : t QCheck2.Gen.tval observable : t QCheck2.Observable.tval pp : Format.formatter -> t -> unitSuite.Fval generator : t QCheck2.Gen.tval observable : t QCheck2.Observable.tval pp : Format.formatter -> t -> unit