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