module Matrix:sig
..end
equal
typedim =
int option
typematrix =
Ctypes.c_object * dim list
module MACHINE:Model.Key
with type t = matrix
module NATURAL:Model.Key
with type t = matrix
val of_array : Ctypes.arrayinfo -> matrix
val id : dim list -> string
equal
val natural_id : Ctypes.c_object -> string
val merge : dim list -> dim list -> dim list option
type
denv = {
|
size_var : |
(* |
size variables
| *) |
|
size_val : |
(* |
size values
| *) |
|
index_var : |
(* |
index variables
| *) |
|
index_val : |
(* |
index values
| *) |
|
index_range : |
(* |
indices are in range of size variables
| *) |
|
index_offset : |
(* |
polynomial of indices
| *) |
|
monotonic : |
(* |
all dimensions are defined
| *) |
val denv : dim list -> denv
val size : matrix -> Lang.F.term list
val tau : Ctypes.c_object -> dim list -> Lang.F.tau