示例#1
0
文件: testterm.py 项目: charyorde/dao
 def testMutual(self):
   rules = {(True, None):[1,2]}
   eq_(signature((1,)), signature((1,)))
   eq_(signature((a,)), signature((b,)))
示例#2
0
文件: testterm.py 项目: charyorde/dao
 def testVar(self):
   eq_(signature(a), Var)
示例#3
0
文件: testterm.py 项目: charyorde/dao
 def testMutual(self):
   ok_(signature(1)!=signature(2))
   eq_(signature(a), signature(b))
示例#4
0
文件: testterm.py 项目: charyorde/dao
 def testAtom(self):
   eq_(signature(1), 1)