sig type t type comparator_witness val comparator : (Comparator.S.t, Comparator.S.comparator_witness) Comparator.comparator end