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;};