/tiger-compiler/tests/assert/type/

• ../
• assert-empty-seq.tig
• assert-print.tig
• assert-string.tig