Functor Datalib.Create.Register


module Register: 
functor (D : Declarator) -> sig .. end
Parameters:
D : Declarator

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