Fold r←x(F⍆)y

r is the result of folding the major cells of y with starting value x using F left-to-right.