rust-lang/chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

语言：Rust · GitHub 星标：2,023 · Fork：184

在 GitHub 上查看原仓库