o obtain a typed value <code class="computeroutput"><span class="identifier">v</span></code>
        which corresponds to the abstract value <code class="computeroutput"><span class="identifier">V</span></code>.
      </p>
<p>
        The operation is denoted using the <code class="computeroutput"><span class="identifier">rep</span><span class="special">()</span></code> operator, as in: <code class="computeroutput"><span class="identifier">v</span><span class="special">=</span><span class="identifier">rep</