Labels:black | darkness OCR: type effect app ('a -> unit) -> 'a array -> unit apply f left-right appi (int * 'a -> unit) -> 'a array * int * int option -> unit array int # 'a -> 'a array {src : 'a array, si : int, len : int option, create and initialize array copy copy subarray to subarray dst : 'a array, di : int} -> unit copy Vec {src : 'a vector, si : int, len : int option, copy subvector to subarray dst : 'a array, di : int} -> unit extract 'a array * int * int option -> 'a vector extract subarray to vector fold1 ('a * 'b => 'b) -> 'b -> 'a array -> 'b fold left-right foldli (int * 'a * 'b -> 'b) -> 'b -> 'a array * int * int option -> 'b foldr ('a * 'b -> 'b) -> 'b -> 'a array -> 'b fold right-left foldri (int * 'a * 'b -> 'b) -> 'b -> 'a array * int * int option -> 'b fromList 'a list -> 'a array make array from the list length 'a array -> int length of the array maxLen int maximal array length modify ('a -> 'a) -> 'a array -> unit apply f and update modifyi (int # 'a -> 'a) -> 'a array * int * int option -> unit sub 'a array * int -> 'a n'th element (0-based) tabulate int * (int -> 'a) -> 'a array array of f (0) ,..., f(n-1) update 'a array * int * 'a -> unit set n'th element (0-based)