module Fixpoint:Fixpoint computation implemented using the work list algorithm. This module makes writing data-flow analysis easy.sig
..end
module type G =sig
..end
type
direction =
| |
Forward |
|||
| |
Backward |
(* | Type of an analysis | *) |
module type Analysis =sig
..end
module Make: