graphlib

Generic Graph library
IN THIS PACKAGE
Parameter #3 Graphlib . Std . Graphlib . Mapper . E
type s = G.edge
type t
val forward : s -> t
val backward : t -> s