<span>hyps:<span><a href="#type-comparator">comparator</a> list</span> <span class="arrow">&#45;&gt;</span></span>
  <span>original:<span><span class="xref-unresolved">Bap</span>.Std.sub <a href="#type-code">code</a></span> <span class="arrow">&#45;&gt;</span></span>
  <span>modified:<span><span class="xref-unresolved">Bap</span>.Std.sub <a href="#type-code">code</a></span> <span class="arrow">&#45;&gt;</span></span>
  <a href="../Constraint/index.html#type-t">Constr.t</a> * <a href="../Environment/index.ht