assproofs_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;::EltW</td></tr>
<tr class="memitem:a069a61a88b7c2323cc0bfb6f34ea920c" id="r_a069a61a88b7c2323cc0bfb6f34ea920c"><td class="memItemLeft" align="right" valign="top"><a id="a069a61a88b7c2323cc0bfb6f34ea920c" name="a069a61a88b7c2323cc0bfb6f34ea920c"></a>
using&#160;</td><td class="memItemRight" valign="bottom"><b>BitW</b> = typename <a class="el" href="classproofs_1_1_logic.html">Logic</a>&