an class="identifier">abt</span><span class="special">(</span><span class="identifier">v</span><span class="special">)</span></code>.
      </p>
<p>
        <code class="computeroutput"><span class="identifier">V</span></code> is the <span class="bold"><strong>abstraction</strong></span>
        of <code class="computeroutput"><span class="identifier">v</span></code> of type <code class="computeroutput"><span class="identifier">T</span></code>.
      </p>
<p>
        Abstraction is just an abstract operatio