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.

type/relation

$\mathrm{type}\left(a<b\&comma;'\mathrm{`<>`}'\right)$

$\mathrm{false}$

$\mathrm{type}\left(a=b\&comma;'\mathrm{`<>`}'\right)$

$\mathrm{false}$

$\mathrm{type}\left(a\ne b\&comma;'\mathrm{`<>`}'\right)$

$\mathrm{true}$