# File lib/type_checker.rb, line 543
  def process_false(exp)
    return t(:false, Type.bool)
  end