Quickcheckable (odoc.core_kernel.Core

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 (Quickcheckable : S) (Conv : Conv with type quickcheckable := Quickcheckable.t) : S with type t := Conv.t

module Of_quickcheckable_filtered (Quickcheckable : S) (Conv : Conv_filtered with type quickcheckable := Quickcheckable.t) : S with type t := Conv.t