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;

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

Trait representing access to a database of rust types.