sig
  type t = t
  type comparator_witness
  val comparator :
    (t, comparator_witness) Core_kernel.Std.Comparator.comparator
end