module type S_binable = sig .. end
sig
end
include Comparator.Pre_binable
type comparator
val comparator : (Comparator.t, comparator) Comparator.t_
(Comparator.t, comparator) Comparator.t_