GenAutomata Sections NuprlLIB Doc

Def {d} == l:Labeldecl_type(d;l)

is mentioned

In prior sections: mb record mb automata 3 mb automata 4 mb state machine


GenAutomata Sections NuprlLIB Doc