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