mb label Sections GenAutomata Doc

Def l[i] == hd(nth_tl(i;l))

is mentioned

In prior sections: list 1 mb list 1

Try larger context: GenAutomata

mb label Sections GenAutomata Doc