Module Data_mem.Create.Cformat


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)