sig val fold_left2 : ('a -> 'b -> 'c -> 'a) -> 'a -> 'b array -> 'c array -> 'a val combine : 'a array -> 'b array -> ('a * 'b) array end