> width_of_ikind : <a href="IntegerWidths/index.html#type-t">IntegerWidths.t</a> <span>&#45;&gt;</span> <a href="index.html#type-ikind">ikind</a> <span>&#45;&gt;</span> int</code></dt><dt class="spec value" id="val-range_of_ikind"><a href="#val-range_of_ikind" class="anchor"></a><code><span class="keyword">val</span> range_of_ikind : <a href="IntegerWidths/index.html#type-t">IntegerWidths.t</a> <span>&#45;&gt;</span> <a href="index.html#type-ikind">ikind</a> <span>&#45;&gt;</span> Z.t * Z.t</code></dt><dt c