Module Data_mem.Create.Cformat


module Cformat: D.Register(sig
include D.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 Formula.item
end)