Set.Elttype t = tval sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.tinclude Comparator.S with type t := t with type comparator_witness = comparator_witnesstype comparator_witness = comparator_witnessval comparator : (t, comparator_witness) Comparator.comparator