Trait chalk_solve::clauses::program_clauses::ToProgramClauses [−][src]
pub trait ToProgramClauses<I: Interner> {
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.