Who Cites fpf-single?
fpf-single	Def x : v == <[x],x.v>

Syntax:

x : v

has structure:

fpf-single(x; v)

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