def testMutual(self): rules = {(True, None):[1,2]} eq_(signature((1,)), signature((1,))) eq_(signature((a,)), signature((b,)))
def testVar(self): eq_(signature(a), Var)
def testMutual(self): ok_(signature(1)!=signature(2)) eq_(signature(a), signature(b))
def testAtom(self): eq_(signature(1), 1)