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