module type Declarator = sig .. end
sig
end
include Mdata.S.Identifiable
val clear : unit -> unit
unit -> unit
val section : Formula.section
Formula.section
val declare : t -> string -> F.pred Formula.item
t -> string -> F.pred Formula.item