sig   val graph_attributes : '-> Graph.Graphviz.DotAttributes.graph list   val default_vertex_attributes :     '-> Graph.Graphviz.DotAttributes.vertex list   val vertex_name : State.t -> string   val vertex_attributes : State.t -> Graph.Graphviz.DotAttributes.vertex list   val default_edge_attributes : '-> Graph.Graphviz.DotAttributes.edge list   val edge_attributes :     State.t * State.t -> Graph.Graphviz.DotAttributes.edge list   val get_subgraph : State.t -> Graph.Graphviz.DotAttributes.subgraph option end