tructuredSil/index.html#type-structured_instr">StructuredSil.structured_instr</a> <span class="xref-unresolved">Base__List</span>.t</span> <span class="arrow">&#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="M/index.html#type-t">M.t</a></span>
  * <a href="../../../../IR/Procdesc/in