Module Graph__.Fixpoint

module type G = sig ... end

Minimal graph signature for work list algorithm

type direction =
| Forward
| Backward

Type of an analysis

module type Analysis = sig ... end
module Make : functor (G : G) -> functor (A : Analysis with type g = G.t with type edge = G.E.t with type vertex = G.V.t) -> sig ... end