module Make_binable (M : Pre_binable) : S_binable with type t = M.t
(
M
:
Pre_binable
)
S_binable
with type t = M.t
include Comparator.Pre_binable
type comparator
val comparator : (Comparator.t, comparator) Comparator.t_
(Comparator.t, comparator) Comparator.t_