The call type(x, string) checks to see if x is of type string. It returns true if x is of type string, and false otherwise.

The call type(x, nonemptystring) checks to see if x is of type string and x<>"".

$\mathrm{type}\left(1\&comma;\mathrm{string}\right)$

$\mathrm{false}$

$\mathrm{type}\left(\frac{1}{2}\&comma;\mathrm{string}\right)$

$\mathrm{false}$

$\mathrm{type}\left(0.5\&comma;\mathrm{string}\right)$

$\mathrm{false}$

$\mathrm{type}\left(''String''\&comma;\mathrm{string}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\mathrm{Name}\&comma;\mathrm{string}\right)$

$\mathrm{false}$

$\mathrm{type}\left(a\left[b\right]\&comma;\mathrm{string}\right)$

$\mathrm{false}$

$\mathrm{type}\left(\frac{a}{b}\&comma;\mathrm{string}\right)$

$\mathrm{false}$

$\mathrm{type}\left(''''\&comma;\mathrm{string}\right)$

$\mathrm{true}$

$\mathrm{type}\left(''''\&comma;\mathrm{nonemptystring}\right)$

$\mathrm{false}$

$\mathrm{type}\left(''String''\&comma;\mathrm{nonemptystring}\right)$

$\mathrm{true}$

$\mathrm{type}\left(1\&comma;\mathrm{nonemptystring}\right)$

$\mathrm{false}$