module Array:sig..end
val exists2 : ('a -> 'b -> bool) -> 'a array -> 'b array -> bool与标准库中的 Array.exists2 相同。
val for_alli : (int -> 'a -> bool) -> 'a array -> bool与标准库中的 Array.for_all 相同，但函数应用时，元素的索引作为第一个参数，元素本身作为第二个参数。
val all_somes : 'a option array -> 'a array option