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