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