The following snippet
import tree_sitter_tlaplus as tstla
from tree_sitter import Language
TLAPLUS_LANGUAGE = Language(tstla.language())
(e.g. as done here in /test/consumers/python/main.py) causes this warning:
DeprecationWarning: int argument support is deprecated
The following snippet
(e.g. as done here in
/test/consumers/python/main.py) causes this warning: