sig
  type t = Local of string * string | Global of string
  val to_string : Ident.t -> string
  val local_of : Ident.t -> string
end