An expression is of type And(type1, type2, ...) if it is all of the types type1, type2, ... .

An expression is of type Or(type1, type2, ...) if it is one of the types type1, type2, ... . Note the Or(type1, type2, ...) is equivalent to $\{\mathrm{type1},\mathrm{type2},...\}$ but the type checks always occur in order.  This may be useful if it is known that one type check is faster than a second, or if the later type check doesn't make sense (or leads to an error) when the earlier one is satisfied.

An expression is of type Not(type1) if it is not of type type1. Non(type1) is equivalent to Not(type1).

$\mathrm{type}\left(2.0\,\mathrm{And}\left(\mathrm{embedded\_real}\,\mathrm{Not}\left(\mathrm{numeric}\right)\right)\right)$

$\mathrm{false}$

$\mathrm{type}\left(2.0+0.\mathrm{I}\,\mathrm{And}\left(\mathrm{embedded\_real}\,\mathrm{Not}\left(\mathrm{numeric}\right)\right)\right)$

$\mathrm{true}$

$\mathrm{type}\left(3\,\mathrm{Or}\left(\mathrm{name}\,\mathrm{realcons}\right)\right)$

$\mathrm{true}$