# File lib/type_checker.rb, line 900 def process_while(exp) cond = process exp.shift body = process exp.shift is_precondition = exp.shift Type.bool.unify cond.sexp_type return t(:while, cond, body, is_precondition) end