sig type scope = Global | Function | Block val get : scope:Varname.scope -> string -> string val clear_locals : unit -> unit end