GenAutomata
Sections
NuprlLIB
Doc
Def
MessageStruct == M:Type
C:DecidableEquiv
(M
|C|)
(M
Label)
(M
)
Top
is mentioned
In prior sections:
mb
structures
GenAutomata
Sections
NuprlLIB
Doc
C:DecidableEquiv(M
|C|)(MLabel)(M
)Top