Functor Avl_kernel.Make

module Make: functor (X : GRAPH) -> sig  end

Parameters:

X : Avl_kernel.GRAPH

val fold : 'a -> (X.node -> X.node -> 'a -> 'a) -> X.graph -> 'a

fold g computes the transitive reduction of the graph g.