Definitions GenAutomata Sections NuprlLIB Doc

No mentions to report in GenAutomata
case_pairDef < x,y > = > body(x;y)(value,cont) == value/x,y. body(x;y)

Syntax: < x,y > = > body(x;y) has structure: case_pair(x,y.body(x;y))

About:
spreadapply!abstraction

Definitions GenAutomata Sections NuprlLIB Doc