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.