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