[][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 RustIrDatabase which record used definitions and write .chalk files containing those definitions.

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.