module Fn: sig .. end
sig
end
type 'a t = 'a QCheck.fun_
'a
'a QCheck.fun_
val print : 'a t QCheck.Print.t
'a t QCheck.Print.t
val shrink : 'a t QCheck.Shrink.t
'a t QCheck.Shrink.t
val apply : 'f t -> 'f
'f t -> 'f