Module type Datalib.Create.Declarator


module type Declarator = sig .. end

include Datalib.Create.Identifiable
val clear : unit -> unit
val section : Formula.section
val declare : t -> string -> Datalib.Create.F.pred Formula.item