def test_unify_concrete_type(self): x = "Test" y = "a" result = "Test", ("a", "Test") self.assertEqual(unify_var(x, y), result)
def test_unify_concrete_anything(self): x = "Test" y = "*" result = "Test", (None, None) self.assertEqual(unify_var(x, y), result)