Crate chalk_solve[−][src]
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
clauses | |
coherence | |
coinductive_goal | |
display | |
ext | |
goal_builder | |
infer | |
logging | |
logging_db | Provides wrappers over |
rust_ir | 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. |
solve | |
split | |
wf |
Macros
debug_span |
Traits
RustIrDatabase | Trait representing access to a database of rust types. |