State.Selection_rangeval from : t -> intval to_ : t -> intval anchor : t -> intval head : t -> intval empty : t -> boolval assoc : t -> Cursor_association.tval bidi_level : t -> int optionval goal_column : t -> int optionval map : t -> Change_desc.t -> ?assoc:Cursor_association.t -> unit -> t