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