graphlib

Generic Graph library
IN THIS PACKAGE
Parameter #2 Graphlib . Std . Graphlib . Filtered . P
type edge = G.edge
type node = G.node
val edge : edge -> bool
val node : node -> bool