hat exp1!= exp2 implies that exp1 is allocated. This assumption is used in the rearrangement. The last <code>exp list</code> parameter is used to denote the shared links by all the nodes in the list.</p><span class="comment-delim">*)</span></td></tr><tr id="type-hpred0.Hdllseg" class="anchored"><td class="def variant constructor"><a href="#type-hpred0.Hdllseg" class="anchor"></a><code><span>| </span><span><span class="constructor">Hdllseg</span> <span class="keyword">of</span> <a href="#type-lseg_kind">lseg