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