Crate chalk_solve
source ·Re-exports§
pub use clauses::program_clauses_for_env;
pub use solve::Guidance;
pub use solve::Solution;
pub use solve::Solver;
pub use solve::SubstitutionResult;
Modules§
- Provides wrappers over
RustIrDatabase
which record used definitions and write.chalk
files containing those definitions. - Contains the definition for the “Rust IR” – this is basically a “lowered” version of the AST, roughly corresponding to [the HIR] in the Rust compiler.
Macros§
Traits§
- Trait representing access to a database of rust types.