An <a href="#Alias_declarations">alias</a> denotes a named type if the type given in the alias declaration is a named type.
All named types are <a href="#Type_identity">distinct</a>.
</p>

<h3 id="Boolean_types">Boolean types</h3>

<p>
A <i>boolean type</i> represents the set of Boolean truth values
denoted by the predeclared constants <code>true</code>