Module Register_gui.InitialNodes

module InitialNodes: State_builder.Ref(Pdg_aux.NS)(sig

val name : string
val dependencies : State.t list
val default : unit -> Pdg_aux.NS.t
end)

include State_builder.S

type data 

val set : data -> unit

val get : unit -> data

val clear : unit -> unit