GenAutomata Sections NuprlLIB Doc

Def tr | P == filter(x.P(kind(x));tr)

is mentioned

In prior sections: mb events mb automata 1


GenAutomata Sections NuprlLIB Doc