15.4.1041  src/lib/std/dot/planar-graphtree.pkg

# planar-graphtree.pkg

# Compiled by:
#     src/lib/std/standard.lib




stipulate
    package a = planar_graphtree_traits;                                # planar_graphtree_traits       is from   src/lib/std/dot/planar-graphtree-traits.pkg
herein

    package   planar_graphtree
    : (weak)  Traitful_Graphtree                                        # Traitful_Graphtree            is from   src/lib/std/graphtree/traitful-graphtree.api
    {
        package graphtree
            =
            traitful_graphtree_g (                                      # traitful_graphtree_g          is from   src/lib/std/graphtree/traitful-graphtree-g.pkg
                #
                Graph_Info = a::Graph_Info;
                Edge_Info  = a::Edge_Info;
                Node_Info  = a::Node_Info;
            );

        include package   graphtree;
    };

end;