>val</span> extract_post : 
  <span><a href="TransferFunctions/CFG/Node/IdMap/index.html#type-key">InvariantMap.key</a> <span class="arrow">&#45;&gt;</span></span>
  <span><span><span><span class="type-var">'a</span> <span class="xref-unresolved">Absint__AbstractInterpreter.State.t</span></span> <a href="TransferFunctions/CFG/Node/IdMap/index.html#type-t">InvariantMap.t</a></span> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="type-var">'a</span> option</span></span></code></div></div><div