module Globals:Model.F.DRegister
(
sig
include Model.F.Varinfo
val declare :Hoare_mem.Create.Model.F.Xindex.t ->
'a -> ('b, 'c, Hoare_mem.Create.Model.F.pred) Formula.itemval section :Formula.section
val prefix :string
val basename :Cil_types.varinfo -> string
val clear :unit -> unit
val pp_descr :Format.formatter -> 'a -> unit
end
)