pan></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-uint64_t"><a href="#val-uint64_t" class="anchor"></a><code><span><span class="keyword">val</span> uint64_t : <span><span class="xref-unresolved">Unsigned</span>.uint64 <a href="#type-typ">typ</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-size_t"><a href="#val-size_t" class="anchor"></a><code><span><span class="keyword">val</span> size_t : <span><span class="xref-unreso