Module Runtime_mem.Create.Fields


module Fields: D.Register(sig
include D.Fieldinfo
val declare : D.Findex.t -> 'a -> Runtime_mem.Create.F.pred Formula.item
val section : Formula.section
val prefix : string
val basename : Cil_types.fieldinfo -> string
val clear : unit -> unit
val pp_descr : Format.formatter -> 'a -> unit
end)