Trait sp1_recursion_compiler::ir::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