The type( expr, 'property' ) command returns the value true if expr is a property (known to the assume facility) and the value false otherwise. For a description of known properties, see property.

Note: Types are properties, but not all properties are types.

$\mathrm{type}\left('\mathrm{real}'\,'\mathrm{property}'\right)$

$\mathrm{true}$

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

$\mathrm{false}$

$\mathrm{type}\left('\mathrm{realcons}'\,'\mathrm{property}'\right)$

$\mathrm{true}$

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

$\mathrm{true}$

$\mathrm{type}\left('\mathrm{TopProp}'\,'\mathrm{property}'\right)$

$\mathrm{true}$

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

$\mathrm{false}$

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

$\mathrm{true}$