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