Module Store_mem.Create.Ax3IsSofData


module Ax3IsSofData: Model.F.DRegister(sig
include Model.F.Compinfo
val prefix : string
val section : Formula.section
val clear : unit -> unit
val pp_title : Format.formatter -> Cil_types.compinfo -> unit
val declare : Store_mem.Create.SofData.t ->
'a -> ('b, 'c, Store_mem.Create.Model.F.pred) Formula.item
end)