mb structures Sections GenAutomata Doc

Def Macro is-deliver(E)(x) == (is-send(E)(x))

is not mentioned in this or prior sections.

Try larger context: GenAutomata

mb structures Sections GenAutomata Doc