module StoredCompound:sig
..end
include struct ... end
val define_update : string ->
Data_mem.Create.F.pool ->
string ->
string ->
Data_mem.Create.F.var list ->
M.m_of_mem M.D.F.term -> M.loc -> Ctypes.c_object -> M.D.abstract -> unit
val define_array : Data_mem.Create.D.Arrayinfo.t -> unit
val define_comp : Data_mem.Create.D.Compinfo.t -> unit