p_wp</a> &#x00BB; <a href="../index.html">Bap_wp</a> &#x00BB; Compare</nav><header class="odoc-preamble"><h1>Module <code><span>Bap_wp.Compare</span></code></h1></header><div class="odoc-content"><p>This module creates utilities to create preconditions for comparing BIR blocks and subroutines.</p><p>Usage typically involves creating a new (abstract) <a href="../Environment/index.html#type-t"><code>Environment.t</code></a> value, a Z3 context and a <a href="../Environment/index.html#type-var_gen"><code>Envir