# File lib/type_checker.rb, line 875
  def process_str(exp)
    return t(:str, exp.shift, Type.str)
  end