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