sig   val create : unit -> 'a Hmap.key   type t   val hide_type : 'a Hmap.key -> Hmap.Key.t   val equal : Hmap.Key.t -> Hmap.Key.t -> bool   val compare : Hmap.Key.t -> Hmap.Key.t -> int end