Module type Datalib.Create.Registry


module type Registry = sig .. end

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