3c8" name="a5f243aabc8706d7280553713fd51b3c8"></a>
<a class="el" href="classproofs_1_1_nat.html">T</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><b>add</b> (const <a class="el" href="classproofs_1_1_nat.html">T</a> &amp;y)</td></tr>
<tr class="memitem:a1f616cba04b310edc3c518770ae1717d" id="r_a1f616cba04b310edc3c518770ae1717d"><td class="memItemLeft" align="right" valign="top"><a id="a1f616cba04b310edc3c518770ae1717d" name="a1f616cba04b310edc3c518770ae1717d"></a>
<a class="el" href="classproof