module Matrix:sig
..end
type
t
Matrix dimensions. Encodes the number of dimensions and their kind
val of_dims : int option list -> t
val compare : t -> t -> int
val pretty : Stdlib.Format.formatter -> t -> unit
val pp_suffix_id : Stdlib.Format.formatter -> t -> unit
val merge : int option list -> int option list -> int option list option
type
env = {
|
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 | *) |
|
length : |
(* | number of cells (None is infinite) | *) |
}
val cc_tau : Lang.F.tau -> t -> Lang.F.tau
Type of matrix
val cc_env : t -> env
Dimension environment
val cc_dims : int option list -> Lang.F.term list
Value of size variables