# File lib/type_checker.rb, line 504
  def process_dstr(exp)
    out = t(:dstr, exp.shift, Type.str)
    until exp.empty? do
      result = process exp.shift
      out << result
    end
    return out
  end