GenAutomata Sections NuprlLIB Doc

Def sm{i:l}() == da:Declds:Decl({ds}Prop)({ds}(da){ds}Prop)

is mentioned

In prior sections: mb state machine mb automata 4


GenAutomata Sections NuprlLIB Doc