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