Module Topological


module Topological: sig .. end
Topological order.

This functor provides functions which allow iterating over a graph in topological order.


module type G = sig .. end
Minimal graph signature to provide.
module Make: 
functor (G : G) -> sig .. end
Functor providing topological iterators over a graph.