.Std.Var.Set.t <span class="arrow">&#45;&gt;</span></span>
  <span>post_regs:<span class="xref-unresolved">Bap</span>.Std.Var.Set.t <span class="arrow">&#45;&gt;</span></span>
  <a href="#type-comparator">comparator</a> * <a href="#type-comparator">comparator</a></span></code></div><div class="spec-doc"><p>Compare two subroutines by composition for equality of return values:</p><p>Given a set of register values at pre-execution and a set of register values at post-execution, return a postcondition and hypot