Up
Module type
S1
=
Quickcheck_intf.S1
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
'a t
val
gen : 'a
gen
-> 'a
t
gen
val
obs : 'a
obs
-> 'a
t
obs
val
shrinker : 'a
shr
-> 'a
t
shr