Trait chalk_solve::clauses::program_clauses::ToProgramClauses
source · pub trait ToProgramClauses<I: Interner> {
// Required method
fn to_program_clauses(
&self,
builder: &mut ClauseBuilder<'_, I>,
environment: &Environment<I>,
);
}
Expand description
Trait for lowering a given piece of rust-ir source (e.g., an impl or struct definition) into its associated “program clauses” – that is, into the lowered, logical rules that it defines.