WhoCites Definitions GenAutomata Sections NuprlLIB Doc

Who Cites switch?
switchDef Switch(t) b == b(t)

Syntax:Switch(t) b has structure: switch(t; b)

About:
apply!abstraction

WhoCites Definitions GenAutomata Sections NuprlLIB Doc