The call type(expr, `<=`) checks if expr is of type `<=`, that is, if it is an inequality. It returns true if expr is of type `<=`, and false otherwise.

The type `<=` is a surface type check, and is therefore very fast. The supertypes relation and boolean includes this type.

type/relation

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

$\mathrm{false}$

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

$\mathrm{true}$