Module type Core_kernel__Quickcheckable_intf.Quickcheckable

Provides functors for making a module quickcheckable with Quickcheck.

module type Conv = Conv
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