ght" valign="top"><a id="a2dd85ba8d3f948dfb48821993c920a2d" name="a2dd85ba8d3f948dfb48821993c920a2d"></a>
using&#160;</td><td class="memItemRight" valign="bottom"><b>v256</b> = typename <a class="el" href="classproofs_1_1_logic.html">Logic</a>&lt;<a class="el" href="classproofs_1_1_g_f2__128.html">GF2_128</a>&lt;&gt;, Backend&gt;::v256</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 id="header-pub-methods" class="groupheader"><a id="pub-methods" name="pub-methods"></a>
