languages
Sections
AutomataTheory
Doc
Def
null(as) == Case of as; nil
true
; a.as'
false
In prior sections:
list
1
true
; a.as' false