Module type Quickcheckable_intf.Quickcheckable
Provides functors for making a module quickcheckable with Quickcheck
.
module type Conv_filtered = Conv_filtered
module type S = Core_kernel.Quickcheck.S
module type S1 = Core_kernel.Quickcheck.S1
module type S2 = Core_kernel.Quickcheck.S2
module type S_int = Core_kernel.Quickcheck.S_int
module Of_quickcheckable : functor (Quickcheckable : S) -> functor (Conv : Conv with type quickcheckable := Quickcheckable.t) -> S with type t := Conv.t
module Of_quickcheckable_filtered : functor (Quickcheckable : S) -> functor (Conv : Conv_filtered with type quickcheckable := Quickcheckable.t) -> S with type t := Conv.t