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