code></dt><dd><p>Bitwise not of the value. Result is of the same size as the input.</p></dd></dl><dl><dt class="spec value" id="val-redor"><a href="#val-redor" class="anchor"></a><code><span class="keyword">val</span> redor : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> bool</code></dt><dd><p>Do an or of all the bits in the bitvector</p></dd></dl><dl><dt class="spec value" id="val-redand"><a href="#val-redand" class="anchor"></a><code><span class="keyword">val</span> redand : <a href="index.html