Cfg_dataflow (u.58a492dc50b7372142e59ed316f9fc46.oxcaml-compiler.5.2.0minus39.doc.compiler-libs.optcomp.Cfg

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