module State_dependency_graph:sig
..end
State Dependency Graph.
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:
val dump : string -> unit