getDocumentMutationLeaseState(buffer): DocumentMutationLeaseState
buffer
DocumentMutationLeaseState
EditorTextBuffer