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