The function call type(c, Range(a, b)) returns true if $a<c$ and $c<b$. That is, the type Range( a, b ) represents the open interval (a,b) of the real line.

The endpoints a and b of the interval must be real constants, or the left endpoint a may be of type neg_infinity and the right endpoint b may be of type pos_infinity.

Note that neither a nor b is of type Range( a, b ).

$\mathrm{type}\left(3\&comma;'\mathrm{Range}'\left(0\&comma;4\right)\right)$

$\mathrm{true}$

$\mathrm{type}\left(\frac{\mathrm{\pi }}{3}\&comma;'\mathrm{Range}'\left(\frac{\mathrm{\pi }}{4}\&comma;\frac{\mathrm{\pi }}{2}\right)\right)$

$\mathrm{true}$

$\mathrm{type}\left(\mathrm{I}\&comma;'\mathrm{Range}'\left(-\mathrm{\infty }\&comma;Float\left(\mathrm{\infty }\right)\right)\right)$

$\mathrm{false}$

$\mathrm{type}\left(5\&comma;'\mathrm{Range}'\left(0\&comma;5\right)\right)$

$\mathrm{false}$