Mini-TT 工具

这是一个从 Mini-TT 代码库中提取的包，用于帮助其他依赖类型 lambda 式类型检查器的命令行界面的开发。

它包含了对 Clap (structopt) 命令行处理器的辅助函数、文件 I/O 和 REPL 辅助函数（用于 rustyline）。

由于我不想破坏 Mini-TT 代码库的自包含属性，我只从 CLI 辅助函数中提取了东西，而没有从类型检查器中提取。

lib.rs:

Mini-TT Util

这是一个从 Mini-TT 类型检查器代码库中提取的包，用于帮助其他依赖类型 lambda 式类型检查器的命令行界面的开发。

它包含了对 Clap (structopt) 命令行处理器的辅助函数、文件 I/O 和 REPL 辅助函数（用于 rustyline）。

由于我不想破坏 Mini-TT 代码库的自包含属性，我只从 CLI 辅助函数中提取了东西，而没有从类型检查器中提取。

所有依赖都是可选的，因此非常轻量。