# File lib/type_checker.rb, line 169
  def process_args(exp)
    formals = t(:args)
    types = []

    until exp.empty? do
      arg = exp.shift
      type = Type.unknown
      @env.add arg, type
      formals << t(arg, type)
      types << type
    end

    return formals
  end