[rustc.git] / vendor / chalk-solve-0.55.0 / README.md

A library that defines the rules that translates Rust IR to logical predicates.

See [Github](https://github.com/rust-lang/chalk) for up-to-date information.
Commit	Line	Data
f9f354fc XL	1	A library that defines the rules that translates Rust IR to logical predicates.
	2
	3	See [Github](https://github.com/rust-lang/chalk) for up-to-date information.