<map id="proofs::MdocRevocationSpan&lt; LogicCircuit, Field, EC &gt;::Witness" name="proofs::MdocRevocationSpan&lt; LogicCircuit, Field, EC &gt;::Witness">
<area shape="rect" id="Node000001" title=" " alt="" coords="366,49,559,105"/>
<area shape="rect" id="Node000002" href="$structproofs_1_1_verify_circuit_1_1_witness.html" title=" " alt="" coords="62,5,204,61"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="220,42,366,62,365,67,219,47"/>
<area shape="rect" id="Node000003" title=" " alt="" coords="5,84,261,155"/>
<area shape="poly" id="edge2_Node000001_Node000003" title=" " alt="" coords="276,99,365,87,366,92,277,104"/>
</map>
