module Topological: sig end
sig end
This functor provides functions which allow iterating over a directed graph in topological order
module type G = sig end
module Make: functor (G : G) -> sig end
functor (G : G) -> sig end