tree-sitter-tlaplus
log
query
parse time:
Parser