sig
  type t
  val define : Mdata.S.Registry.t -> unit
  val get_definition : Mdata.S.Registry.t -> F.pred Formula.declaration
  val on_definition :
    (Mdata.S.Registry.t -> F.pred Formula.declaration -> unit) -> unit
end