a62ed"><td class="memItemLeft" align="right" valign="top"><a id="a98abdb779c600b13ca3722bc099a62ed" name="a98abdb779c600b13ca3722bc099a62ed"></a>
using&#160;</td><td class="memItemRight" valign="bottom"><b>v8</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;::v8</td></tr>
<tr class="memitem:a2dd85ba8d3f948dfb48821993c920a2d" id="r_a2dd85ba8d3f948dfb48821993c920a2d"><td class="memItemLeft" align="ri