The standard library Dot_Graphtree_Traits api is part of the graph-visualization support infrastructure.
The Dot_Graphtree_Traits api is implemented by the dot_graphtree_traits package.
The Dot_Graphtree_Traits api source code is in src/lib/std/dot/dot-graphtree-traits.api.
The above information is manually maintained and may contain errors.
api { Shape = BOX | DIAMOND | ELLIPSE;
Graph_Info ;
Node_Info ;
Edge_Info ;
default_graph_info : Graph_Info;
default_node_info : Node_Info;
default_edge_info : Edge_Info;
};