<span>pre_regs:<span class="xref-unresolved">Bap</span>.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>
  <span>original:<span><span class="xref-unresolved">Bap</span>.Std.blk <a href="#type-code">code</a></span> <span class="arrow">&#45;&gt;</span></span>
  <span>modified:<span><span class="xref-unresolved">Bap</span>.Std.blk <a href="#type-code">code</a></span> <span class="arrow"