mb
automata
4
Sections
GenAutomata
Doc
Def
trace_consistent(rho;da;R;t) ==
g:Label.
term_mentions_guard(g;t)
subtype_rel(({a:(
[[da]] rho)|
(R(g,kind(a))) } List); (rho(lbl_pr( < Trace, g > ))))
is mentioned
In prior sections:
mb
automata
3
Try larger context:
GenAutomata
mb
automata
4
Sections
GenAutomata
Doc
g:Label. 
term_mentions_guard(g;t) 
subtype_rel(({a:(
[[da]] rho)| (R(g,kind(a))) } List); (rho(lbl_pr( < Trace, g > ))))