Def  complete_intseg_mset(a; b; f)(x) == if a  x < b f(x) else 0 fi

is mentioned

In prior sections: FTA

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