module Create:
Parameters: |
|
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:
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