# File lib/type_checker.rb, line 427 def process_defined(exp) thing = process exp.shift return t(:defined, thing, Type.bool) end