rrow">&#45;&gt;</span></span>
  <span class="xref-unresolved">Backend__Summary.t</span>
  * <span><span>(<a href="../StructuredSil/index.html#type-assertion">StructuredSil.assertion</a> * <a href="../StructuredSil/index.html#type-label">StructuredSil.label</a>)</span> <a href="argument-1-I/TransferFunctions/CFG/Node/IdMap/index.html#type-t">M.t</a></span>
  * <a href="../../../IR/Procdesc/index.html#type-t">IR.Procdesc.t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id