The type(x, integer) function returns true if x is a Maple integer.

If the type is provided with a single integer index n, then type(expr, integer[n]) returns true if, and only if, $n$ is one of $1$, $2$, $4$, or $8$, and expr is an integer representable as a signed $n$-byte hardware integer.

The call type(expr, integer[a .. b]) returns true if, and only if, expr is an integer satisfying the inequalities $a\le \mathrm{expr}$ and $\mathrm{expr}\le b$, where a and b are integers with $a\le b$.

type/posint, type/negint, type/nonposint, type/nonnegint

type/rational

$\mathrm{type}\left(1\,\mathrm{integer}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\frac{1}{2}\,\mathrm{integer}\right)$

$\mathrm{false}$

$\mathrm{type}\left(0.5\,\mathrm{integer}\right)$

$\mathrm{false}$

$\mathrm{type}\left(''String''\,\mathrm{integer}\right)$

$\mathrm{false}$

$\mathrm{type}\left(\mathrm{Name}\,\mathrm{integer}\right)$

$\mathrm{false}$

$\mathrm{type}\left(a\left[b\right]\,\mathrm{integer}\right)$

$\mathrm{false}$

$\mathrm{type}\left(\frac{a}{b}\,\mathrm{integer}\right)$

$\mathrm{false}$

$\mathrm{type}\left(200\,\mathrm{integer}\left[1\right]\right)$

$\mathrm{false}$

$\mathrm{type}\left(300\,\mathrm{integer}\left[1\right]\right)$

$\mathrm{false}$

$\mathrm{type}\left(300\,\mathrm{integer}\left[2\right]\right)$

$\mathrm{true}$

$\mathrm{type}\left(5\,\mathrm{integer}\left[1..10\right]\right)$

$\mathrm{true}$

$\mathrm{type}\left(5\,\mathrm{integer}\left[6..10\right]\right)$

$\mathrm{false}$

$\mathrm{type}\left(5.0\,\mathrm{integer}\left[1..10\right]\right)$

$\mathrm{false}$

$\mathrm{map}\left(\mathrm{type}\,\left[-129\,-128\,127\,128\right]\,\mathrm{integer}\left[1\right]\right)$

$\left[\mathrm{false}\,\mathrm{true}\,\mathrm{true}\,\mathrm{false}\right]$