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

coinductive_goal

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.