h (<code>v-&gt;elements-&gt;length</code>) is pruned by <code>=0</code>. On the other hand, if <code>%r==0</code>, <code>v</code>'s array length is pruned by <code>&gt;=1</code>.</p></td></tr><tr id="type-t.Size" class="anchored"><td class="def constructor"><a href="#type-t.Size" class="anchor"></a><code>| </code><code><span class="constructor">Size</span> <span class="keyword">of</span> </code><code>{</code><table class="record"><tr id="type-t.alias_typ" class="anchored"><td class="def field"><a href="#typ