module RecEqName:F.DRegister
(
sig
include F.Compinfo
val declare :Cil_types.compinfo -> 'a -> ('b, 'c, 'd) Formula.item
val prefix :string
val section :Formula.section
val clear :unit -> unit
val pp_title :Format.formatter -> Datalib.Cvalues.F.Compinfo.t -> unit
end
)