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 http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html