Up
Module type
S2
=
Core_kernel.Quickcheck_intf.S2
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
('a, 'b) t
val
gen : 'a
gen
-> 'b
gen
-> ('a, 'b)
t
gen
val
obs : 'a
obs
-> 'b
obs
-> ('a, 'b)
t
obs
val
shrinker : 'a
shr
-> 'b
shr
-> ('a, 'b)
t
shr