Module Dataflows

module Dataflows: sig .. end

module type FUNCTION_ENV = sig .. end
val function_env : Cil_types.kernel_function -> (module Dataflows.FUNCTION_ENV)
module type JOIN_SEMILATTICE = sig .. end
module type FORWARD_MONOTONE_PARAMETER = sig .. end
module Simple_forward: 
functor (Fenv : FUNCTION_ENV) ->
functor (P : FORWARD_MONOTONE_PARAMETER) -> sig .. end
val transfer_if_from_guard : (Cil_types.stmt -> Cil_types.exp -> 'a -> 'a * 'a) ->
Cil_types.stmt -> 'a -> (Cil_types.stmt * 'a) list
val transfer_switch_from_guard : (Cil_types.stmt -> Cil_types.exp -> 'a -> 'a * 'a) ->
Cil_types.stmt -> 'a -> (Cil_types.stmt * 'a) list