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