esolved">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></span></code></div></div><div class="odoc-spec"><div class="spec value" id="val-create_test" class="anchored"><a href="#val-create_test" class="anchor"></a><code><span><span class="keyword">val</span> create_test : 
  <span><span><a href="../../St