Module Hmap.S.Key

module Key: sig .. end


type 'a info 
The type for key information.
val create : 'a info -> 'a Hmap.S.key
create i is a new key with information i.
val info : 'a Hmap.S.key -> 'a info
info k is k's information.

Existential keys

Exisential keys allow to compare keys. This can be useful for functions like Hmap.S.filter.

type t 
The type for existential keys.
val hide_type : 'a Hmap.S.key -> t
hide_type k is an existential key for k.
val equal : t -> t -> bool
equal k k' is true iff k and k' are the same key.
val compare : t -> t -> int
compare k k' is a total order on keys compatible with Hmap.S.Key.equal.