index.html#type-t">Absint.InterproceduralAnalysis.t</a></span> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../../Absint/ProcCfg/Exceptional/index.html#type-t">Absint.ProcCfg.Exceptional.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../../Absint/ProcCfg/DefaultNode/index.html#type-t">Absint.ProcCfg.Exceptional.Node.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../Paths/PathSet/index.html#type-t">Paths.PathSet.t</a> <span class="arrow">&#45;&gt;</span