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