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