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