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