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
)