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