ml#type-t">Env.t</a> * <a href="../Environment/index.html#type-t">Env.t</a></span></code></div><div class="spec-doc"><p>Compare two subroutines by composition: given the lists of postconditions and hypotheses generated by the API below.</p></div></div><div class="odoc-spec"><div class="spec value" id="val-compare_subs_eq" class="anchored"><a href="#val-compare_subs_eq" class="anchor"></a><code><span><span class="keyword">val</span> compare_subs_eq : 
  <span>pre_regs:<span class="xref-unresolved">Bap</span>