GenAutomata
Sections
NuprlLIB
Doc
Def
Macro is-deliver(E)(x) ==
(is-send(E)(x))
is mentioned
In prior sections:
mb
hybrid
GenAutomata
Sections
NuprlLIB
Doc
(is-send(E)(x))