</a><code><span class="keyword">val</span> checker : <span><a href="Summary/index.html#type-t">Summary.t</a> <a href="../Absint/InterproceduralAnalysis/index.html#type-t">Absint.InterproceduralAnalysis.t</a></span> <span>&#45;&gt;</span> <span><a href="Summary/index.html#type-t">Summary.t</a> option</span></code></dt></dl></div></body></html>