Module Dominator

module Dominator: sig .. end

Dominators

All of the functions in this module assume that the graph is not modified between calling one of these functions and using the returned functions. Such mutation results in undefined behavior.
Author(s): Ivan Jager

exception Unreachable

module type G = sig .. end

module type S = sig .. end

module Make: functor (G : G) -> S  with type t = G.t and type vertex = G.V.t

module type I = sig .. end

module Make_graph: functor (G : I) -> sig .. end