>Location.t</a>;</span></code></li></ol><code><span>}</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>*exp1 &lt;- exp2 with exp2:typ</p><span class="comment-delim">*)</span></div></li><li id="type-t.Prune" class="def variant constructor anchored"><a href="#type-t.Prune" class="anchor"></a><code><span>| </span><span><span class="constructor">Prune</span> <span class="keyword">of</span> </span><span>{</span></code><ol><li id="type-t.exp" class="def record field anchored"><a href="#ty