Module Core_kernel__.Quickcheckable

module type S : Core_kernel__.Quickcheck_intf.S with type a gen := a Core_kernel.Quickcheck.Generator.t with type a obs := a Core_kernel.Quickcheck.Observer.t with type a shr := a Core_kernel.Quickcheck.Shrinker.t

module type S1 : Core_kernel__.Quickcheck_intf.S1 with type a gen := a Core_kernel.Quickcheck.Generator.t with type a obs := a Core_kernel.Quickcheck.Observer.t with type a shr := a Core_kernel.Quickcheck.Shrinker.t

module type S2 : Core_kernel__.Quickcheck_intf.S2 with type a gen := a Core_kernel.Quickcheck.Generator.t with type a obs := a Core_kernel.Quickcheck.Observer.t with type a shr := a Core_kernel.Quickcheck.Shrinker.t

module type S_int : Core_kernel__.Quickcheck_intf.S_int with type a gen := a Core_kernel.Quickcheck.Generator.t with type a obs := a Core_kernel.Quickcheck.Observer.t with type a shr := a Core_kernel.Quickcheck.Shrinker.t