Module `Cfg_dataflow`

module type Domain_S = sig ... end

module type Forward_transfer = sig ... end

module type Forward_S = sig ... end

module Forward
  (D : Cfg_dataflow.Domain_S)
  (T : Cfg_dataflow.Forward_transfer with type domain = D.t) : 
  Cfg_dataflow.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 : Cfg_dataflow.Domain_S)
  (T : Cfg_dataflow.Backward_transfer with type domain = D.t) : 
  Cfg_dataflow.Backward_S
    with type domain = D.t
     and type error = T.error
     and type context = T.context

Module Cfg_dataflow

Module `Cfg_dataflow`