the <code>Le</code> type, it means <code>size(x)+i &lt;= %r</code>.</p></td></tr></table></dt><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = </code><table class="variant"><tr id="type-t.Simple" class="anchored"><td class="def constructor"><a href="#type-t.Simple" class="anchor"></a><code>| </code><code><span class="constructor">Simple</span> <span class="keyword">of</span> </code><code>{</code><table class="record"><tr id="type