module type S = sig .. end
sig
end
type t
type comparator_witness
val comparator : (t, comparator_witness) Comparator.comparator
(t, comparator_witness) Comparator.comparator