Module type Fol_formula.Registry


module type Registry = sig .. end

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