The standard library Dotgraph_To_Planargraph api defines access to internal graph-visualization functionality.
The Dotgraph_To_Planargraph api is implemented by the dotgraph_to_planargraph package.
The Dotgraph_To_Planargraph api source code is in src/lib/std/dot/dotgraph-to-planargraph.api.
The above information is manually maintained and may contain errors.
api { default_font_size : Int;
convert_dotgraph_to_planargraph : ?.ag::Traitful_Graph
-> ?.planar_graphtree::graphtree::Traitful_Graph;
};