Module Topological


module Topological: sig  end
Topological order.

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


module type G = sig  end
Minimal graph signature to provide
module Make: functor (G : G) -> sig  end