module Make (M : Pre) : S with type t = M.t
(
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_