span="2"><h2 id="header-pub-types" class="groupheader"><a id="pub-types" name="pub-types"></a>
Public Types</h2></td></tr>
<tr class="memitem:a7d625f5f29dc2ae7463094ca0270dadb" id="r_a7d625f5f29dc2ae7463094ca0270dadb"><td class="memItemLeft" align="right" valign="top"><a id="a7d625f5f29dc2ae7463094ca0270dadb" name="a7d625f5f29dc2ae7463094ca0270dadb"></a>
using&#160;</td><td class="memItemRight" valign="bottom"><b>Elt</b> = typename <a class="el" href="structproofs_1_1_g_f2__128_1_1_elt.html">Field::Elt</a><