[submodule "test/examples/external"]
	path = test/examples/external
	url = https://github.com/tlaplus/examples
[submodule "test/fuzzing/tree-sitter"]
	path = test/dependencies/tree-sitter
	url = https://github.com/tree-sitter/tree-sitter
