sig type t val compare : Typename.Key.t -> Typename.Key.t -> int val equal : Typename.Key.t -> Typename.Key.t -> bool val hash : Typename.Key.t -> int end