sp1_recursion_compiler::ir

Trait ExtensionOperand

Source 
pub trait ExtensionOperand<F: Field, EF: ExtensionField<F>> {
    // Required method
    fn to_operand(self) -> ExtOperand<F, EF>;
}

Required Methods§

Source

fn to_operand(self) -> ExtOperand<F, EF>

Implementors§

Source§

impl<F: Field, EF: ExtensionField<F>, E: Any> ExtensionOperand<F, EF> for E