x.html">infer</a> &#x00BB; <a href="../index.html">Biabduction</a> &#x00BB; Predicates</nav><header class="odoc-preamble"><h1>Module <code><span>Biabduction.Predicates</span></code></h1></header><nav class="odoc-toc"><ul><li><a href="#components-of-propositions">Components of Propositions</a></li><li><a href="#compaction">Compaction</a></li><li><a href="#comparision-and-inspection-functions">Comparision And Inspection Functions</a></li><li><a href="#functions-for-traversing-sil-data-types">Functions for tra