Module type Fol_formula.Declarator


module type Declarator = sig .. end

include Fol_formula.Identifiable
val clear : unit -> unit
val section : Formula.section
val declare : t -> string -> (Fol.Var.t, Fol.term, Fol.pred) Formula.item