graphlib

Generic Graph library
IN THIS PACKAGE
Parameter #5 Graphlib . Std . Graphlib . Mapper . EL
type s = G.Edge.label
type t
val forward : s -> t
val backward : t -> s