GenAutomata Sections NuprlLIB Doc

Def D(i) for i I(x) == i:I. D(i)(x)

is mentioned

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


GenAutomata Sections NuprlLIB Doc