Loop over multiple arrays simultaneously: Difference between revisions

m
Line 357:
let len = Array.length x in
let b = List.fold_left (fun b a -> b && (Array.length a = len)) true xs in
if not b then invalid_argumentinvalid_arg "n_arrays_iter: arrays of different length";
for i = 0 to pred len do
let ai = List.map (fun a -> a.(i)) al in