module DRegister: functor (D : Declarator) -> sig .. end
functor (
D
:
Declarator
) ->
sig
end
type t = D.t
D.t
val get_definition : t -> Fol.decl
t -> Fol.decl
val define : t -> unit
t -> unit
val on_definition : (t -> Fol.decl -> unit) -> unit
(t -> Fol.decl -> unit) -> unit