Module MemTyped.ARRAY

module ARRAY: Model.Generator(Matrix.NATURAL)(sig
val name : string
type key = Matrix.matrix 
type data = 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)
type key = D.key 
type data = D.data 
val get : G.MAP.key -> G.E.data