module DRegister: functor (D : Declarator) -> Registry with type t = D.t
functor (
D
:
Declarator
) ->
Registry
with type t = D.t
type t
val define : t -> unit
t -> unit
val get_definition : t -> Formula.S.decl
t -> Formula.S.decl
val on_definition : (t -> Formula.S.decl -> unit) -> unit
(t -> Formula.S.decl -> unit) -> unit