1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
signature ARRAY_1997 =
sig
eqtype 'a array
type 'a vector
val app: ('a -> unit) -> 'a array -> unit
val appi: (int * 'a -> unit) -> 'a array * int * int option -> unit
val array: int * 'a -> 'a array
val copy: {src: 'a array, si: int, len: int option,
dst: 'a array, di: int} -> unit
val copyVec: {src: 'a vector, si: int, len: int option,
dst: 'a array, di: int} -> unit
val extract: 'a array * int * int option -> 'a vector
val foldl: ('a * 'b -> 'b) -> 'b -> 'a array -> 'b
val foldli: (int * 'a * 'b -> 'b) -> 'b -> 'a array * int * int option -> 'b
val foldr: ('a * 'b -> 'b) -> 'b -> 'a array -> 'b
val foldri: (int * 'a * 'b -> 'b) -> 'b -> 'a array * int * int option -> 'b
val fromList: 'a list -> 'a array
val length: 'a array -> int
val maxLen: int
val modify: ('a -> 'a) -> 'a array -> unit
val modifyi: (int * 'a -> 'a) -> 'a array * int * int option -> unit
val sub: 'a array * int -> 'a
val tabulate: int * (int -> 'a) -> 'a array
val update: 'a array * int * 'a -> unit
end
|
