Up

Module Quickcheckable = Quickcheckable

Signature

module type S = Quickcheck_intf.S with type 'a gen := 'a Quickcheck.gen with type 'a obs := 'a Quickcheck.obs with type 'a shr := 'a Quickcheck.shr
module type S1 = Quickcheck_intf.S1 with type 'a gen := 'a Quickcheck.gen with type 'a obs := 'a Quickcheck.obs with type 'a shr := 'a Quickcheck.shr
module type S2 = Quickcheck_intf.S2 with type 'a gen := 'a Quickcheck.gen with type 'a obs := 'a Quickcheck.obs with type 'a shr := 'a Quickcheck.shr
module type S_bounded = Quickcheck_intf.S_bounded with type 'a gen := 'a Quickcheck.gen with type 'a obs := 'a Quickcheck.obs with type 'a shr := 'a Quickcheck.shr