sig
type slevel = Global of int | PerStmt of (Cil_types.stmt -> int)
val local : Cil_types.kernel_function -> Per_stmt_slevel.slevel
type merge = NoMerge | Merge of (Cil_types.stmt -> bool)
val merge : Cil_types.kernel_function -> Per_stmt_slevel.merge
end