module Make: functor (M : Pre) -> S with type t = M.t
functor (
M
:
Pre
) ->
S
with type t = M.t
include Comparator.Pre
type comparator
val comparator : (Comparator.t, comparator) Comparator.t_
(Comparator.t, comparator) Comparator.t_