></span>
  <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="#type-t">t</a> <a href="../PulseSatUnsat/index.html#type-t">Pulselib.PulseBasicInterface.SatUnsat.t</a></span></span></code></div><div class="spec-doc"><p>replace each address in the heap by its canonical representative according to the current equality relation, represented by <code>get_var_repr</code>; also remove addresses that point to empty edges</p></div></div><div class="odoc-spec"><div class="spec v