def _eval_binding(self, expr, env): # return an application return self._eval( cons(lambdaexpr.make_lambda(binding.binding_variables(expr), binding.binding_body(expr)), binding.binding_values(expr)), env)
def definition_value(expr): if is_symbol(cadr(expr)): return caddr(expr) return make_lambda(cdadr(expr), cddr(expr))