n class="lineno">   28</span>  <span class="keyword">using </span>Elt = <span class="keyword">typename</span> <a class="code hl_struct" href="structproofs_1_1_g_f2__128_1_1_elt.html">Field::Elt</a>;</div>
<div class="line"><a id="l00029" name="l00029"></a><span class="lineno">   29</span> </div>
<div class="line"><a id="l00030" name="l00030"></a><span class="lineno">   30</span> <span class="keyword">public</span>:</div>
<div class="line"><a id="l00031" name="l00031"></a><span class="lineno">   31</span>  <