sig
  module G : G
  val graph : State_dependency_graph.G.t
  val add_dependencies : from:State.t -> State.t list -> unit
  val add_codependencies : onto:State.t -> State.t list -> unit
end