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.

Required Methods§

source

fn to_program_clauses( &self, builder: &mut ClauseBuilder<'_, I>, environment: &Environment<I>, )

Implementors§