Chalk的内部类型、目标和条款表示
由 Niko Matsakis、Jack Huey、Rust编译器团队、Chalk开发者 (97位贡献者). 共同拥有 由 Rust编程语言、rust-lang-chalk-publish-bot.
#22 在 编程语言 中
34,826 每月下载量在 27 个crate中使用 (5 直接)
290KB 6K SLoC
chalk 的 rust 类型库。
有关最新信息,请参阅 Github。
lib.rs
定义类型和逻辑谓词的IR。
~0.4–0.9MB ~20K SLoC