Module Register_gui.ImpactedNodes

module ImpactedNodes: State_builder.Ref(Kernel_function.Map.Make(Pdg_aux.NS))(sig
val name : string
val dependencies : State.t list
val default : unit -> 'a Kernel_function.Map.t
end)

include State_builder.S
type data 
Type of the referenced value.
val set : data -> unit
Change the referenced value.
val get : unit -> data
Get the referenced value.
val clear : unit -> unit
Reset the reference to its default value.