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_nil
Def [] =>
body
cont
(
value
,
contvalue
)
Def
== Case of
value
; nil
body
;
hd
.
tl
cont
(
contvalue
,
contvalue
)
Syntax:
[] =>
[] =
body
cont
has structure:
case_nil(
body
;
cont
)
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Definitions
StandardLib
Sections
NuprlLIB
Doc