chored" id="val-ai_list"><a href="#val-ai_list" class="anchor"></a><code><span><span class="keyword">val</span> ai_list : 
  <span><span>(string
   * <span>(<span><span><span class="xref-unresolved">UnitTests__AnalyzerTester.StructuredSil.structured_instr</span> <span class="xref-unresolved">Base__List</span>.t</span> <span class="arrow">&#45;&gt;</span></span>
   <span><span>(<span><span class="xref-unresolved">Backend__Summary.t</span> <span class="arrow">&#45;&gt;</span></span>
     <a href="../../../Che