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