module Matrix: sig
.. end
unique w.r.t equal
type
dim = int64 option
type
matrix = Ctypes.c_object * dim list
val of_array : Ctypes.arrayinfo -> Ctypes.c_object * int64 option list
module KEY: functor (
E
:
sig
end
) ->
sig
.. end
module COBJ: sig
.. end
module MACHINE: KEY
(
Ctypes
)
module NATURAL: KEY
(
COBJ
)
val natural_id : Ctypes.c_object -> string
name for elements in NATURAL
val add_rank : Buffer.t -> int -> unit
val add_dim : Buffer.t -> int -> 'a option -> int
val id : 'a option list -> string
unique w.r.t equal
type
denv = {
|
size_var :Lang.F.var list ; |
|
size_val :Lang.F.term list ; |
|
index_var :Lang.F.var list ; |
|
index_val :Lang.F.term list ; |
|
index_range :Lang.F.pred list ; |
|
index_offset :Lang.F.term list ; |
|
monotonic :bool ; |
}
val collect : int -> 'a option list -> denv
val denv : int64 option list -> denv
val dval : int64 option list -> Lang.F.term list
val size : 'a * int64 option list -> Lang.F.term list
val tau : Ctypes.c_object -> 'a list -> Lang.tau
val do_merge : 'a option list -> 'a option list -> 'a option list
val merge : 'a option list -> 'a option list -> 'a option list option