Who Cites case cons?
case_cons	Def x::y => body(x;y) cont(value,contvalue) Def == Case of value; nil  cont(contvalue,contvalue) ; hd.tl  body(hd;tl)

Syntax:

x::y => x::ybody(x;y) cont

has structure:

case_cons(x,y.body(x;y); cont)

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