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