Def For{T,op,id} x  as. f(x) == reduce(op;id;map(x:T. f(x);as))

No mentions to report in StandardLib.

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