functor
  (Initial : sig
               val initial : (Cil_types.stmt * PdgTypes.data_state) list
             end->
  functor (Fenv : Dataflows.FUNCTION_ENV->
    functor
      (Param : sig
                 val current_pdg : Build.pdg_build
                 val ctrl_dpds_infos : CtrlDpds.t
               end->
      sig
        val pdg_debug : ('a, Format.formatter, unit) Pervasives.format -> 'a
        type t = PdgTypes.data_state
        val current_pdg : Build.pdg_build
        val current_function : Kernel_function.t
        val ctrl_dpds_infos : CtrlDpds.t
        val init : (Cil_types.stmt * PdgTypes.data_state) list
        val bottom : PdgTypes.data_state
        val pretty : Format.formatter -> Build.Computer.t -> unit
        val join_and_is_included :
          Build.Computer.t -> Build.Computer.t -> PdgTypes.data_state * bool
        val join :
          Build.Computer.t -> Build.Computer.t -> PdgTypes.data_state
        val doInstr :
          Cil_types.stmt ->
          Cil_types.instr -> PdgTypes.data_state -> PdgTypes.data_state
        val transfer_stmt :
          Cil_types.stmt ->
          Build.Computer.t -> (Cil_types.stmt * Build.Computer.t) list
      end