Module Core_kernel__.Quickcheckable
module type S = Core_kernel.Quickcheck.Smodule type S1 = Core_kernel.Quickcheck.S1module type S2 = Core_kernel.Quickcheck.S2module type S_int = Core_kernel.Quickcheck.S_intCore_kernel__.Quickcheckablemodule type S = Core_kernel.Quickcheck.Smodule type S1 = Core_kernel.Quickcheck.S1module type S2 = Core_kernel.Quickcheck.S2module type S_int = Core_kernel.Quickcheck.S_int