The call type(expr, `<`) checks if expr is of type $\mathrm{`<`}$, that is, if it is a strict 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{true}$

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

$\mathrm{false}$