Module State_dependency_graph.Static


module Static: sig .. end
The Static State Dependency Graph. This graph only contains the static states and the dependencies between them. Thus that is a subgraph of the Dynamic State Dependency Graph.
Since Carbon-20101201

include State_dependency_graph.S
include State.Local
val add_state : State.t -> State.t list -> unit
Add a new static state.
Since Carbon-20101201