> var_desc</span><span> = <a href="#type-var_name">var_name</a> * <a href="#type-var_domain">var_domain</a></span></code></div></div><div class="odoc-include"><details open="open"><summary class="spec include"><code><span><span class="keyword">include</span> <a href="../../Ltsa/module-type-T/index.html">Ltsa.T</a>
  <span class="keyword">with</span> <span><span class="keyword">type</span> <a href="../../Ltsa/module-type-T/index.html#type-state">state</a> := <a href="#type-state">state</a></span>
   <span cl