Method text_token_at

examples/server/server.py:4021–4022

(self, pos: int)

        return pos in self.text_token_index_by_pos

    def text_token_at(self, pos: int) -> int:
        return self.text_tokens[self.text_token_index_by_pos[pos]]

    def prev_text_tokens_at(self, pos: int) -> List[int]:
        return self.text_tokens[: self.text_token_index_by_pos[pos]]