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.