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_inlDef inl(x) => body(xcont(value,contvalue)
Def == InjCase(valuexbody(x); _cont(contvalue,contvalue))

Syntax:inl(x) =>
inl(body(x)
cont
has structure: case_inl(x.body(x); cont)

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

Definitions StandardLib Sections NuprlLIB Doc