MakeHeterogeneousMap.Key
type 'key t
val to_int : 'key t -> int
val polyeq : 'a t -> 'b t -> ('a, 'b) cmp