[−][src]Crate chalk_solve
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. |