sig type t val compare : Typename.Uid.t -> Typename.Uid.t -> int val equal : Typename.Uid.t -> Typename.Uid.t -> bool val hash : Typename.Uid.t -> int val name : Typename.Uid.t -> string end