A textual edit applicable to a text document
text_edit(range, new_text)
range
a range, the part of the document to replace
new_text
a character, the text to replace