<map id="proofs::ParsedMdoc" name="proofs::ParsedMdoc">
<area shape="rect" id="Node000001" title=" " alt="" coords="5,326,144,351"/>
<area shape="rect" id="Node000002" href="$structproofs_1_1_cbor_index.html" title=" " alt="" coords="12,5,137,31"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="77,47,77,325,72,325,72,47"/>
</map>
