tract" class="anchor"></a><code><span class="keyword">val</span> lifted_abstract : <span><a href="../Biabduction/BiabductionSummary/index.html#type-t">Biabduction.BiabductionSummary.t</a> <a href="../Absint/InterproceduralAnalysis/index.html#type-t">Absint.InterproceduralAnalysis.t</a></span> <span>&#45;&gt;</span> <a href="../Biabduction/Propset/index.html#type-t">Biabduction.Propset.t</a> <span>&#45;&gt;</span> <a href="../Biabduction/Propset/index.html#type-t">Biabduction.Propset.t</a></code></dt><dd><p>