Functor Formula.S.DRegister


module DRegister: 
functor (D : Declarator) -> Registry with type t = D.t
Parameters:
D : Declarator

type t 
val define : t -> unit
val get_definition : t -> Formula.S.decl
val on_definition : (t -> Formula.S.decl -> unit) -> unit