module RecName:DRegister
(
sig
include 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 :'a -> 'b -> unit
end
)
typet =
D.t
val get_definition : t -> Fol.decl
val define : t -> unit
val on_definition : (t -> Fol.decl -> unit) -> unit