GenAutomata Sections NuprlLIB Doc

Def t.ds == 1of(2of(t))

is mentioned

In prior sections: mb state machine


GenAutomata Sections NuprlLIB Doc