Module type Formula.S.Declarator


module type Declarator = sig .. end

include Formula.S.Identifiable
val clear : unit -> unit
val section : Formula.section
val declare : t ->
string -> (Formula.S.var, Formula.S.abstract, Formula.S.pred) Formula.item