Definitions GenAutomata Sections NuprlLIB Doc

No mentions to report in GenAutomata
case_itDef = > body(value,contvalue) == body

Syntax: = > body has structure: case_it(body)

About:
apply!abstraction

Definitions GenAutomata Sections NuprlLIB Doc