Static Public Attributes</a>  </div>
  <div class="headertitle"><div class="title">proofs::Nat&lt; W64 &gt; Class Template Reference</div></div>
</div><!--header-->
<div class="contents">
<div class="dynheader">
Inheritance diagram for proofs::Nat&lt; W64 &gt;:</div>
<div class="dyncontent">
<div class="center"><img src="classproofs_1_1_nat__inherit__graph.png" border="0" usemap="#aproofs_1_1_nat_3_01_w64_01_4_inherit__map" loading="lazy" alt="Inheritance graph"/></div>
<map name="aproofs_1_1_nat_3_01_w64_0