Text_editval of_string : string -> tval to_string : t -> stringval length : t -> intval pieces : t -> intval caret : t -> intval anchor : t -> intval range : t -> int * intval selected : t -> stringval undos : t -> intval redos : t -> intval lines : width:int -> t -> (int * string) listval place : width:int -> t -> int -> int * intval offset : width:int -> t -> line:int -> column:int -> int