an>&#45;&gt;</span> <span><span class="type-var">'a</span> option</span> <span>&#45;&gt;</span> <span class="type-var">'b</span> * <span><span class="type-var">'c</span> option</span>)</span> <span>&#45;&gt;</span> <span><span><span>(<a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a> * <span class="type-var">'c</span>)</span> list</span> lazy_t</span></code></dt><dd><p>Typestates after the current constructor and all initializer procedures.</p></dd></dl><dl><dt class="spec value" id="val-final_