Parameter Make.Key

type t
val compare : t -> t -> int
val null : t
val succ : t -> t