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.itemend
)