Module type Region_analysis_stmt.M

module type M = sig .. end

val kf : Kernel_function.t
type abstract_value 
val compile_node : Cil_types.stmt ->
abstract_value ->
(Cil_types.stmt Region_analysis_sig.edge *
abstract_value)
list
val mu : (abstract_value ->
abstract_value) ->
abstract_value ->
abstract_value
val join : abstract_value list ->
abstract_value