type t
include sig ... end
val t_of_sexp : Base.Sexp.t ‑> t
include Base.Comparator.S with type t := t
type comparator_witness
val comparator : (t, comparator_witness) Base.Comparator.comparator