Parameter Make.1-Key

type _ t

The type of a key

val compare : 'a t -> 'b t -> ('a'b) Order.t

compare k k' is the total order of keys.