Module `Util.Make_comparator`

This builds a comparator for Jane St. Base.Map. Not sure this is the intended procedure.

Parameters

S : sig ... end

Signature

module K : sig ... end

include 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?

module C : sig ... end

include C

type t = K.t

include sig ... end

type comparator_witness = Base__Comparator.Make(K).comparator_witness

val comparator : (K.t, comparator_witness) Base__Comparator.comparator

val comparator : (C.t, C.comparator_witness) Base.Map.comparator