Parameter Make.Key

include Stdlib.Map.OrderedType
type t
val compare : t -> t -> int
val unsigned_compare : t -> t -> int
val zero : t
val add : t -> t -> t
val sub : t -> t -> t
val pred : t -> t
val succ : t -> t
val to_string : t -> string