sig
  type 'a t
  type comparator_witness
  val comparator :
    ('a Comparator.S1.t, Comparator.S1.comparator_witness)
    Comparator.comparator
end