Module Fixpoint

module Fixpoint: sig .. end

Fixpoint computation implemented using the work list algorithm. This module makes writing data-flow analysis easy.

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 cfg = G.t  with type label = G.E.label 
                with type vertex = G.V.t) -> sig .. end