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