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.