Comparison
Logical Operators
not x
false_ = not true
false_ = (!) true
false_ = !trueand x y
false_ = and true false
false_ = (&&) true false
false_ = true && falseor x y
Relational Operators
eq x y
neq x y
lt x y
gt x y
lte x y
gte x y
Last updated