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