Functor Region_analysis_stmt.MakeNode

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
Parameters:
M : sig val kf: Kernel_function.t open Cil_types type abstract_value val compile_node: stmt -> abstract_value -> (stmt edge * abstract_value) list val mu: (abstract_value -> abstract_value) -> abstract_value -> abstract_value val join: abstract_value list -> abstract_value end