Voile 的实用工具

这是一个从 Voile 代码库中提取的 crate，用于帮助开发其他依赖类型 lambda 演算类型检查器。

它包含 Pest 解析器（通过可选功能 parser 支持）的辅助函数、非空向量、一些位置实用工具、带有实用工具的唯一 ID 类型、用于术语生成的 Lisp 解析器、以及宇宙级别实用工具（以 omega 类型为最大宇宙）。

lib.rs:

Voile Util

这是一个从 Voile 类型检查器代码库中提取的 crate，用于帮助开发其他依赖类型 lambda 演算类型检查器。

它包含 Pest 解析器（通过可选功能 parser 支持）的辅助函数、非空向量、一些位置实用工具、带有实用工具的唯一 ID 类型、许多索引类型支持（元变量索引、全局定义索引、de-bruijn 索引）与模式匹配器和运算符、用于术语生成的 Lisp 解析器，以及宇宙级别实用工具（包含 omega）。

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