Lib.rs

kind2语言的类型检查器。它包含一些工具来[编译kind2代码][compiler]，使其成为检查器可以理解的版本，并将[将答案转换回][report]的版本，使其可以由Rust端操作。