let dec_indent ?(touch_next_line=true) n = cur_indent := !cur_indent - n; if touch_next_line=true then next_line_is_more_indented := 0