WhoCites Definitions prog 1 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites case pair?
case_pairDef <x,y> => body(x;y)(value,cont) == value/x,ybody(x;y)

Syntax:<x,y> =>
<x,ybody(x;y)
has structure: case_pair(x,y.body(x;y))

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

WhoCites Definitions prog 1 Sections StandardLIB Doc