Functor Fol_formula.DRegister


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

type t = D.t 
val get_definition : t -> Fol.decl
val define : t -> unit
val on_definition : (t -> Fol.decl -> unit) -> unit