omputeroutput"><span class="identifier">r</span></code>
        of unspecified type such that <code class="computeroutput"><span class="identifier">r</span>
        <span class="special">=</span> <span class="identifier">t</span></code>
        is equivalent to <code class="computeroutput"><span class="identifier">m_f</span><span class="special">(</span><span class="identifier">t</span><span class="special">)</span></code> for
        all <code class="computeroutput"><span class="identifier">t</span></code>