Module `Core_kernel__.Quickcheckable`

module type Conv = Core_kernel__.Quickcheckable_intf.Conv

module type Conv_filtered = Core_kernel__.Quickcheckable_intf.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