>&#45;&gt;</span></span>
  <span>smtlib_post:string <span class="arrow">&#45;&gt;</span></span>
  <span>smtlib_hyp:string <span class="arrow">&#45;&gt;</span></span>
  <a href="../Constraint/index.html#type-t">Constr.t</a> * <a href="../Environment/index.html#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 blocks by composition: Given a set of register values at pre-execution and a set of register values at post-execution, retu