module Local_slevel_types:sig
..end
type
mode =
| |
Normal |
| |
Split of |
| |
Merge |
| |
MergeSplit of |
type
local_slevel_info = {
|
mutable prevmode : |
|
merges : |
|
slevel : |
val empty_info : unit -> local_slevel_info
val d_mode : Format.formatter -> mode -> unit