module Make_args: functor (X : S) -> Args with type 'a arg := 'a X.t
functor (
X
:
S
) ->
Args
with type 'a arg := 'a X.t