Module Core_kernel.Quickcheckable

module type Conv = sig ... end
module type Conv_filtered = sig ... end
module type S = Quickcheck.S
module type S1 = Quickcheck.S1
module type S2 = Quickcheck.S2
module type S_int = 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