Definitions StandardLib Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
No other cites to report in StandardLib
case_nilDef [] => body cont(value,contvalue)
Def == Case of value; nil  body ; hd.tl  cont(contvalue,contvalue)

Syntax:[] =>
[] =body
cont
has structure: case_nil(bodycont)

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

Definitions StandardLib Sections NuprlLIB Doc