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