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

is not otherwise mentioned in this or prior sections.

Try larger context: StandardLIB IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html