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)
listval mu :(abstract_value ->
abstract_value) ->
abstract_value ->
abstract_valueval join :abstract_value list ->
abstract_valueend
) ->
Node
with type abstract_value = M.abstract_value and type node = Cil_types.stmt