sig
module G : G
val graph : G.t
val add_dependencies : from:State.t -> State.t list -> unit
val add_codependencies : onto:State.t -> State.t list -> unit
module Attributes : Attributes
module Dot : functor (A : Attributes) -> sig val dump : string -> unit end
val dump : string -> unit
end