Map.Keytype t = T.tval sexp_of_t : t -> Sexplib0.Sexp.tinclude Comparator.S
with type t := t
with type comparator_witness = comparator_witnesstype comparator_witness = comparator_witnessval comparator : (t, comparator_witness) Base.Comparator.comparator