Module Fol_formula.ADTDecl


module ADTDecl: DRegister(sig
include LTinfoId
val declare : Cil_types.logic_type_info -> 'a -> ('b, 'c, 'd) Formula.item
val section : Formula.section
val clear : unit -> unit
end)

type t = D.t 
val get_definition : t -> Fol.decl
val define : t -> unit
val on_definition : (t -> Fol.decl -> unit) -> unit