mb
hybrid
Sections
GenAutomata
Doc
Def
null(as) == Case of as; nil
true
; a.as'
false
is mentioned
In prior sections:
list
1
mb
list
1
mb
list
2
Try larger context:
GenAutomata
mb
hybrid
Sections
GenAutomata
Doc