type t = t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
include Comparator.S with type comparator_witness = comparator_witness and type t := t
type comparator_witness = comparator_witness
val comparator : (t, comparator_witness) Comparator.comparator