def test_two(self): a = predicats.gt(0) b = predicats.lt(5) c = predicats.for_all(a, b, a) assert c(10) is False
def test_four(self): a = predicats.gt(0) b = predicats.lt(5) c = predicats.for_any(a, b) assert c(-10) is True
def test_one(self): a = predicats.gt(0) b = predicats.lt(5) c = predicats.for_all(a, b) assert c(3) is True
def test_four(self): a = predicats.gt(0) b = predicats.lt(-5) c = a >> b assert c(-2) is True
def test_two(self): a = predicats.gt(0) b = predicats.lt(5) c = predicats.for_any(a, b, a) assert c(10) is True
def test_one(self): a = predicats.gt(0) assert a(10) is True
def test_three(self): a = predicats.eq(0) b = predicats.gt(10) c = a & b assert c(-1) is False
def test_four(self): a = predicats.gt(0) b = predicats.eq(2) c = a | b assert ~~c(1) is True
def test_one(self): a = predicats.gt(0) b = predicats.lt(5) c = a >> b assert c(10) is False
def test_two(self): a = predicats.gt(0) assert ~a(10) is True
def test_three(self): a = predicats.eq(0) b = predicats.gt(10) c = a | b assert ~c(-1) is True
def test_two(self): a = predicats.oftype(int) b = predicats.gt(0) c = a | b assert c(-10) is True
def test_three(self): a = predicats.gt(0) assert a(0) is False
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.gt(0) b = predicats.lt(5) c = predicats.for_all(a, b) assert c(-3) is False
def test_two(self): a = predicats.gt(0) b = predicats.lt(5) c = a >> b assert c(3) is True
def test_four(self): a = predicats.gt(0) b = predicats.lt(-5) c = predicats.for_all(a, b) assert c(-3) is False
def test_three(self): a = predicats.gt(0) b = predicats.lt(5) c = a >> b assert c(-10) is True
def test_two(self): a = predicats.gt(0) assert a(-10) is False
def test_one(self): a = predicats.oftype(int) b = predicats.gt(0) c = a & b assert c(10) is True