Parameter Make.Key

type t
val to_int : t -> int