def test_three(self):
     a = predicats.eq(0)
     b = predicats.pred(a)
     assert b([]) is False
 def test_four(self):
     a = predicats.eq(0)
     b = predicats.pred(a)
     assert b(0) is True
 def test_two(self):
     a = predicats.eq(0)
     assert a(10) is False
 def test_three(self):
     a = predicats.eq(0)
     assert a(-10) is False
 def test_one(self):
     a = predicats.eq(0)
     assert a(0) is True
 def test_four(self):
     a = predicats.gt(0)
     b = predicats.eq(2)
     c = a | b
     assert ~~c(1) is True
 def test_three(self):
     a = predicats.eq(0)
     b = predicats.gt(10)
     c = a | b
     assert ~c(-1) is True
 def test_four(self):
     a = predicats.gt(0)
     b = predicats.eq(2)
     c = a & b
     assert c(2) is True
 def test_three(self):
     a = predicats.eq(0)
     b = predicats.gt(10)
     c = a & b
     assert c(-1) is False