Functor Data_mem.Create


module Create: 
functor (M : Mvalues.Data) -> sig .. end
Parameters:
M : Mvalues.Data

module F: M.F
module Cformat: F.DRegister(sig
include F.Compinfo
val prefix : string
val section : Formula.section
val clear : unit -> unit
val pp_title : Format.formatter -> Cil_types.compinfo -> unit
val declare : Cil_types.compinfo -> 'a -> ('b, 'c, 'd) Formula.item
end)
module Aformat: F.DRegister(sig
include F.Arrayinfo
val prefix : string
val section : Formula.section
val clear : unit -> unit
val pp_title : Format.formatter -> Ctypes.arrayinfo -> unit
val pp_descr : Format.formatter -> 'a -> unit
val declare : Ctypes.arrayinfo -> 'a -> ('b, 'c, 'd) Formula.item
end)
val in_range : Ctypes.arrayinfo -> F.integer -> F.pred
module Compound: 
functor (R : sig
val prefix : string
end) -> sig .. end
module LoadedCompound: sig .. end
module StoredCompound: sig .. end
module UpdatedCompound: sig .. end
val record_format : Cformat.t -> 'a F.term
val array_format : Aformat.t -> 'a F.term
val loaded : Ctypes.c_object -> unit
val stored : Ctypes.c_object -> unit