code class="computeroutput"><span class="identifier">P</span></code>
          </li>
<li class="listitem">
            <code class="computeroutput"><span class="identifier">a</span></code> denotes a value of
            type <code class="computeroutput"><span class="identifier">P</span></code>.
          </li>
<li class="listitem">
            <code class="computeroutput"><span class="identifier">n</span></code> denotes a value of
            type <code class="computeroutput"><span class="identifier">std</s