Module Local_slevel_types

module Local_slevel_types: sig .. end

type mode = 
| Normal
| Split of local_slevel_info
| Merge
| MergeSplit of local_slevel_info
type local_slevel_info = {
   mutable prevmode :mode;
   merges :Cil_datatype.Stmt.Hptset.t;
   slevel :int option;
}
val empty_info : unit -> local_slevel_info
val d_mode : Format.formatter -> mode -> unit