Module CCShimsMkLet_

module type S = sig ... end
module Make : functor (X : sig ... end) -> S with type 'a t_let = 'a X.t
module type S2 = sig ... end
module Make2 : functor (X : sig ... end) -> S2 with type ('a, 'e) t_let2 = ('a'e) X.t