relation autom Sections AutomataTheory Doc

Def b == if b True else False fi

In prior sections: bool 1 quot 1