The call type(expr, piecewise) returns true if expr is a piecewise function.

The call type(expr, piecewise(x)) checks, in addition, that the argument that x appears at least in one of the piecewise conditions involved in expr.

$\mathrm{type}\left({\mathrm{piecewise}}_{\&lsqb;\&rsqb;}\left(x<1\&comma;a\&comma;b\right)\&comma;\&apos;\mathrm{piecewise}\&apos;\right)$

$\mathrm{true}$

$\mathrm{type}\left(\mathrm{piecewise}\left(x<1\&comma;a\&comma;b\right)\&comma;\&apos;\mathrm{piecewise}\&apos;\right)$

$\mathrm{true}$

$\mathrm{type}\left(\mathrm{piecewise}\left(x<1\&comma;a\&comma;b\right)\&comma;\&apos;\mathrm{piecewise}\&apos;\left(x\right)\right)$

$\mathrm{true}$

$\mathrm{type}\left(\mathrm{piecewise}\left(x<1\&comma;a\&comma;b\right)\&comma;\&apos;\mathrm{piecewise}\&apos;\left(a\right)\right)$

$\mathrm{false}$