mb
automata
2
Sections
GenAutomata
Doc
Def
covers_rel(A;r) ==
x:Label. rel_mentions(r;x)
covers_var(A;x)
is not mentioned in this or prior sections.
Try larger context:
GenAutomata
mb
automata
2
Sections
GenAutomata
Doc