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