Module State_dependency_graph

module State_dependency_graph: sig .. end
State Dependency Graph.
Since Carbon-20101201


Signatures


module type S = sig .. end
Signature of a State Dependency Graph.
module type Attributes = sig .. end
Signature required by Graph.GraphViZ.Dot.
include State_dependency_graph.S
val add_state : State.t -> State.t list -> unit
module Attributes: Attributes 
module Dot: 
functor (A : Attributes-> sig .. end
val dump : string -> unit