let move_line lines x = let move_line_pos x = { (x) with line = x.line + lines; bol = x.off; } in map move_line_pos `both x