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.edge * abstract_value)
list
val mu : (abstract_value ->
abstract_value) ->
abstract_value ->
abstract_value
val join : abstract_value list ->
abstract_value