# File lib/type_checker.rb, line 893
  def process_true(exp)
    return t(:true, Type.bool)
  end