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