GenAutomata Sections NuprlLIB Doc

Def b2i(b) == if b 1 else 0 fi

is mentioned

In prior sections: bool 1


GenAutomata Sections NuprlLIB Doc