</li><li id="type-simple_expression.cases" class="def record field anchored"><a href="#type-simple_expression.cases" class="anchor"></a><code><span>cases : <span><a href="#type-case_clause">case_clause</a> list</span>;</span></code></li><li id="type-simple_expression.procname" class="def record field anchored"><a href="#type-simple_expression.procname" class="anchor"></a><code><span><span class="keyword">mutable</span> procname : <span><a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a> option</