/tests/lexers/fstar/

• ../
• example.txt