mb label Sections GenAutomata Doc

Def hd(l) == Case of l; nil "?" ; h.t h

is mentioned

In prior sections: mb list 1 list 1 mb basic

Try larger context: GenAutomata

mb label Sections GenAutomata Doc