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