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