Module State_selection.Dynamic


module Dynamic: sig .. end
Operations over selections which depend on State_dependency_graph.Dynamic.graph.
Since Carbon-20101201

include State_selection.S
val dump : State_selection.t -> string -> unit
module Dot: 
functor (A : State_dependency_graph.Attributes) -> sig .. end