<map id="proofs::MdocRevocationSpanWitness&lt; EC, ScalarField &gt;" name="proofs::MdocRevocationSpanWitness&lt; EC, ScalarField &gt;">
<area shape="rect" id="Node000001" title=" " alt="" coords="98,158,291,198"/>
<area shape="rect" id="Node000002" href="$structproofs_1_1_g_f2__128_1_1_elt.html" title=" " alt="" coords="5,5,181,46"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="117,58,183,156,179,159,113,61"/>
<area shape="rect" id="Node000003" href="$structproofs_1_1_flat_s_h_a256_witness_1_1_block_witness.html" title=" " alt="" coords="205,5,389,46"/>
<area shape="poly" id="edge2_Node000001_Node000003" title=" " alt="" coords="277,61,210,159,206,156,273,58"/>
</map>
