Functor State_dependency_graph.Make_dynamic


module Make_dynamic: 
functor (T : sig
val name : string
end) -> sig .. end
Build a new dynamic graph, as part of the whole Dynamic State Dependency Graph.
Since Carbon-20101201
Parameters:
T : sig val name: string end

include State.Local
module Datatype: Datatype.S  with type t = t
val add_state : State.t -> State.t list -> unit
val remove_state : State.t -> unit
val real_clear : unit -> unit