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