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}\left[\right]\left(x<1\&comma;a\&comma;b\right)\&comma;'\mathrm{piecewise}'\right)$

$\mathrm{true}$

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

$\mathrm{true}$

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

$\mathrm{true}$

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

$\mathrm{false}$