# 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