# 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.

    module Make_stable: functor (G : G) -> sig .. end

Provide the same features than `Topological.Make`, except that the resulting topological ordering is stable according to vertices comparison: if two vertices `v1` and `v2` are topologically equal, `v1` is presented first to the iterator if and only if `G.V.compare v1 v2 <= 0`.