ule-type-T/index.html">Fsm_transition.T</a>
    <span class="keyword">with</span> <span><span class="keyword">module</span> <a href="../../Fsm_transition/module-type-T/Expr/index.html">Expr</a> = <a href="Expr/index.html">Expr</a></span>
     <span class="keyword">and</span> <span><span class="keyword">type</span> <a href="../../Fsm_transition/module-type-T/Condition/Expr/index.html#type-value">Condition.Expr.value</a> = <a href="Value/index.html#type-t">Value.t</a></span>
     <span class="keyword">and</sp