module ARRAY:Model.Generator
(
Matrix.NATURAL
)
(
sig
val name :string
typekey =
Matrix.matrix
typedata =
Lang.lfun * MemTyped.chunk list
val generate :Ctypes.c_object * Matrix.dim list -> Lang.lfun * MemTyped.Heap.Set.elt list
val compile :Ctypes.c_object * Matrix.dim list -> Lang.lfun * MemTyped.Heap.Set.elt list
end
)
module G:Model.Index
(
sig
include K
include D
end
)
typekey =
D.key
typedata =
D.data
val get : G.MAP.key -> G.E.data