Module Region_analysis_stmt

module Region_analysis_stmt: sig .. end

module MakeNode: 
functor (M : sig
val kf : Kernel_function.t
type abstract_value 
val compile_node : Cil_types.stmt ->
abstract_value ->
(Cil_types.stmt Region_analysis.edge *
abstract_value)
list
val mu : (abstract_value ->
abstract_value) ->
abstract_value ->
abstract_value
val join : abstract_value list ->
abstract_value
end) -> Node with type abstract_value = M.abstract_value and type node = Cil_types.stmt