hored" id="val-uint16_t"><a href="#val-uint16_t" class="anchor"></a><code><span><span class="keyword">val</span> uint16_t : <span><span class="xref-unresolved">Unsigned</span>.uint16 <a href="#type-typ">typ</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-uint32_t"><a href="#val-uint32_t" class="anchor"></a><code><span><span class="keyword">val</span> uint32_t : <span><span class="xref-unresolved">Unsigned</span>.uint32 <a href="#type-typ">typ</a></span></s