WhoCites Definitions MarkB generic 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 MarkB generic Sections NuprlLIB Doc