Parameter Make.1-Elt

type key
type t
val compare : t -> t -> int
val compare_key : key -> t -> int