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