|
type/<> - check for a non-equality
|
|
Calling Sequence
|
|
type(expr, `<>`)
|
|
|
Description
|
|
|
•
|
The call type(expr, `<>`) checks if expr is of type `<>`, that is, if it is a non-equality. It returns true if expr is of type `<>`, and false otherwise.
|
|
•
|
Type `<>` is a surface type, and a subtype of types relation and boolean.
|
|
|
|
Examples
|
|
|
>
|
|
|
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
|
|
Download Help Document
Was this information helpful?
