GenAutomata
Sections
NuprlLIB
Doc
Def
t == tree_leaf(inl(t))
is mentioned
In prior sections:
mb
automata
3
GenAutomata
Sections
NuprlLIB
Doc