Module type Slevel_analysis.M'

module type M' = Region_analysis_stmt.M  with
  type abstract_value = path_bound * Cil_types.stmt

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