module Make: functor (Elt : Elt) -> S with type elt = Elt.t
functor (
Elt
:
) ->
S
with type elt = Elt.t