sig
val
print :
'
f
QCheck2
.fun_
QCheck2
.
Print
.t
val
apply :
'
f
QCheck2
.fun_
->
'
f
end