1_4_inherit__map" id="aproofs_1_1_nat_3_01_w64_01_4_inherit__map">
<area shape="rect" title=" " alt="" coords="9,79,146,105"/>
<area shape="rect" href="classproofs_1_1_limb.html" title=" " alt="" coords="5,5,150,31"/>
<area shape="poly" title=" " alt="" coords="80,46,80,79,75,79,75,46"/>
</map>
<center><span class="legend">[<a href="graph_legend.html">legend</a>]</span></center></div>
<div class="dynheader">
Collaboration diagram for proofs::Nat&lt; W64 &gt;:</div>
<div class="dyncontent">
<div class="cente