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