module Make2: functor (X : Basic2) -> S2 with type ('a, 'e) t := ('a, 'e) X.t
functor (
X
:
Basic2
) ->
S2
with type ('a, 'e) t := ('a, 'e) X.t