# File lib/type_checker.rb, line 517 def process_dvar(exp) name = exp.shift type = @env.lookup name return t(:dvar, name, type) end