ec"><div class="spec type anchored" id="type-id"><a href="#type-id" class="anchor"></a><code><span><span class="keyword">type</span> id</span><span> =
  <a href="../../../../argument-1-T/CFG/Node/index.html#type-id">Absint.AbstractInterpreter.MakeBackwardRPO(T).TransferFunctions.CFG.Node.id</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare_id"><a href="#val-compare_id" class="anchor"></a><code><span><span class="keyword">val</span> compare_id : <span><a hre