Up

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

Signature

type 'a gen

type 'a obs

type 'a shr

type t

val gen : t gen

val obs : t obs

val shrinker : t shr