s_1_1_nat.html">T</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><b>sub</b> (const <a class="el" href="classproofs_1_1_nat.html">T</a> &amp;y)</td></tr>
<tr class="inherit_header pub_methods_classproofs_1_1_limb"><td colspan="2" onclick="javascript:dynsection.toggleInherit('pub_methods_classproofs_1_1_limb')"><span class="dynarrow"><span class="arrowhead closed"></span></span>Public Member Functions inherited from <a class="el" href="classproofs_1_1_limb.html">proofs::Limb&lt; W64 &gt;</a></td