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