def test_abolish(self): from dao.builtins.rule import abolish eq_(eval(let([(f,function([[1], 1]))], abolish(f, 1))), {})
def test_abolish(self): from dao.builtins.rule import abolish eq_(eval(let([(f, function([[1], 1]))], abolish(f, 1))), {})
def test7(self): eq_(preparse(-fun.a / 3), abolish(a, 3))
def test7(self): eq_(preparse(-fun. a/3),abolish(a,3))