Python Sustitucion.find示例

示例#1

文件： SustitucionTest.py 项目： dcestari/python-type-analizer

 def test_find(self):
   s = Sustitucion()
   s.push(Var('a'), Fun(Var('x'), Var('y')))
   self.assertEqual(s.find(Var('a')), Fun(Var('x'), Var('y')))