GenAutomata
Sections
NuprlLIB
Doc
Def
dec2bool(d) == InjCase(d; x. true
, false
)
is mentioned
In prior sections:
mb
basic
GenAutomata
Sections
NuprlLIB
Doc