Up

Module type Quickcheckable = Quickcheckable.S

Signature

type 'a gen
type 'a obs
type 'a shr
type t
val gen : t gen
val obs : t obs
val shrinker : t shr