mb declaration Sections GenAutomata Doc

Def pq == if p q else false fi

is mentioned

In prior sections: bool 1 mb list 1 mb basic

Try larger context: GenAutomata

mb declaration Sections GenAutomata Doc