Module Quickcheckable = Core_kernel.Quickcheckable

module type S = Core_kernel.Quickcheck_intf.S with type 'a gen := 'a Core_kernel.Quickcheck.gen with type 'a obs := 'a Core_kernel.Quickcheck.obs with type 'a shr := 'a Core_kernel.Quickcheck.shr

module type S1 = Core_kernel.Quickcheck_intf.S1 with type 'a gen := 'a Core_kernel.Quickcheck.gen with type 'a obs := 'a Core_kernel.Quickcheck.obs with type 'a shr := 'a Core_kernel.Quickcheck.shr

module type S2 = Core_kernel.Quickcheck_intf.S2 with type 'a gen := 'a Core_kernel.Quickcheck.gen with type 'a obs := 'a Core_kernel.Quickcheck.obs with type 'a shr := 'a Core_kernel.Quickcheck.shr

module type S_bounded = Core_kernel.Quickcheck_intf.S_bounded with type 'a gen := 'a Core_kernel.Quickcheck.gen with type 'a obs := 'a Core_kernel.Quickcheck.obs with type 'a shr := 'a Core_kernel.Quickcheck.shr