Module `Cfg_dataflow`

module type Domain_S = sig ... end

module type Forward_transfer = sig ... end

module type Forward_S = sig ... end

module Forward
  (D : Domain_S)
  (T : Forward_transfer with type domain = D.t) : 
  Forward_S with type domain = D.t and type context = T.context

module type Backward_transfer = sig ... end

module Dataflow_result : sig ... end

module type Backward_S = sig ... end

module Backward
  (D : Domain_S)
  (T : Backward_transfer with type domain = D.t) : 
  Backward_S
    with type domain = D.t
     and type error = T.error
     and type context = T.context

Module Cfg_dataflow

Module `Cfg_dataflow`