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