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