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