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