WhoCites Definitions StandardLib Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites switch case?
switch_caseDef Case v => case cont(x) == if x=v case else cont(x) fi
eq_intDef i=j == if i=j true ; false fi
Thm* i,j:. (i=j 

Syntax:Case v => case
cont
has structure: switch_case(vcasecont)

About:
boolbfalsebtrueifthenelseint
int_eqapplymemberall
!abstraction
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

WhoCites Definitions StandardLib Sections NuprlLIB Doc