<map id="Catch::Optional::~Optional" name="Catch::Optional::~Optional">
<area shape="rect" id="Node000001" title=" " alt="" coords="5,5,201,33"/>
<area shape="rect" id="Node000002" href="$classCatch_1_1Optional.html#a543ecebe7d36d7ec101671c6a82db705" title=" " alt="" coords="249,5,411,33"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="201,16,233,16,233,22,201,22"/>
</map>
