module Make_args2: functor (X : S2) -> Args2 with type ('a, 'e) arg := ('a, 'e) X.t
functor (
X
:
S2
) ->
Args2
with type ('a, 'e) arg := ('a, 'e) X.t