module Make_using_comparator: functor (Key : Comparator.S) -> S with type Key.t = Key.t with type Key.comparator = Key.comparator
functor (
Key
:
Comparator.S
) ->
S
with type Key.t = Key.t
with type Key.comparator = Key.comparator