# File lib/type_checker.rb, line 227
  def process_begin(exp)
    body = process exp.shift
    # shouldn't be anything to unify
    return t(:begin, body)
  end