def definition_value(expr): if is_symbol(cadr(expr)): return caddr(expr) return make_lambda(cdadr(expr), cddr(expr))
def definition_variable(expr): if is_symbol(cadr(expr)): return cadr(expr) return caadr(expr)