The Equal predicate returns true when its two arguments are "equal as boxes".
>
|
|
The Eq predicate is different; it returns a "mathematically meaningful" test for equality.
>
|
|
>
|
|
>
|
|
>
|
|
>
|
|
The NotEq predicate returns true when its two arguments are not equal in a "mathematically meaningful" way.
>
|
|
The comparison predicates LessThan and LessEqual, as well as their infix operator counterparts `<` and `<=`, return true if the indicates comparison is true for all members of their box operands.
>
|
|
Also note that `<` and `<=` require that you use evalb in a non-boolean context.
>
|
|
>
|
|
>
|
|
>
|
|
>
|
|