📦 rust-lang / chalk

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

📂 master

📁 ..

📁 fold

📁 visit

📄 cast.rs

📄 could_match.rs

📄 debug.rs

📄 fold.rs

📄 interner.rs

📄 lib.rs

📄 visit.rs

📄 zip.rs