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