Make_comparator.K
type t
= S.k
val compare : S.k -> S.k -> int
val sexp_of_t : t -> Base.Sexp.t
ASSUMES this function is never called in our usecases; FIXME it is called; how?