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