Module type `Quickcheck.S2`

type ('a, 'b) t

val quickcheck_generator : 'a Base_quickcheck.Generator.t -> 'b Base_quickcheck.Generator.t -> ('a, 'b) t Base_quickcheck.Generator.t
val quickcheck_observer : 'a Base_quickcheck.Observer.t -> 'b Base_quickcheck.Observer.t -> ('a, 'b) t Base_quickcheck.Observer.t
val quickcheck_shrinker : 'a Base_quickcheck.Shrinker.t -> 'b Base_quickcheck.Shrinker.t -> ('a, 'b) t Base_quickcheck.Shrinker.t