GenAutomata
Sections
NuprlLIB
Doc
Def
b2i(b) == if b
1 else 0 fi
is mentioned
In prior sections:
bool
1
GenAutomata
Sections
NuprlLIB
Doc