pan>}</span></code></div><div class="spec-doc"><p>parameter for the higher-order doubly-linked list predicates. Assume that all the free identifiers in body_dll should belong to cell, blink, flink, svars_dll, evars_dll.</p></div></div><div class="odoc-spec"><div class="spec value" id="val-compare_hpred0" class="anchored"><a href="#val-compare_hpred0" class="anchor"></a><code><span><span class="keyword">val</span> compare_hpred0 : 
  <span><span>( <span><span class="type-var">'inst</span> <span class="arrow"