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