Glue.InjectHashedType
module U : Hashtbl.HashedType
module I : sig ... end
type t = I.t
val equal : t -> t -> bool
val hash : t -> int