.html#type-t">Biabduction.Prop.t</a></span></code></dt><dd><p>Abstract a proposition.</p></dd></dl><dl><dt class="spec value" id="val-abstract_spec"><a href="#val-abstract_spec" class="anchor"></a><code><span class="keyword">val</span> abstract_spec : <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> <span><a href="../Biabduct