sig type t val define : Fol_formula.Registry.t -> unit val get_definition : Fol_formula.Registry.t -> Fol.decl val on_definition : (Fol_formula.Registry.t -> Fol.decl -> unit) -> unit end