| Value | Description |
val create : int -> int -> 'a -> 'a [,] | |
val get : 'a [,] -> int -> int -> 'a | |
val init : int -> int -> (int -> int -> 'a) -> 'a [,] | |
val iter : ('a -> unit) -> 'a [,] -> unit | |
val iteri : (int -> int -> 'a -> unit) -> 'a [,] -> unit | |
val length1 : 'a [,] -> int | |
val length2 : 'a [,] -> int | |
val make : int -> int -> 'a -> 'a [,] | |
val map : ('a -> 'b) -> 'a [,] -> 'b [,] | |
val mapi : (int -> int -> 'a -> 'b) -> 'a [,] -> 'b [,] | |
val set : 'a [,] -> int -> int -> 'a -> unit | |
val zero_create : int -> int -> 'a [,] | |