Qcheck_ops
module type S = sig ... end
module Make : functor (X : sig ... end) -> S with type 'a t_let = 'a X.t