Up

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

Signature

type 'a gen

type 'a obs

type 'a shr

type t

val gen : t gen

val obs : t obs

val shrinker : t shr