# File lib/type_checker.rb, line 757 def process_not(exp) thing = process exp.shift thing.sexp_type.unify Type.bool return t(:not, thing, Type.bool) end