openvm_native_compiler::ir

Trait CanSelect

Source
pub trait CanSelect<C: Config> {
    // Required method
    fn select(
        builder: &mut Builder<C>,
        cond: Var<C::N>,
        a: Self,
        b: Self,
    ) -> Self;
}

Required Methods§

Source

fn select(builder: &mut Builder<C>, cond: Var<C::N>, a: Self, b: Self) -> Self

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§

Source§

impl<C: Config> CanSelect<C> for Ext<C::F, C::EF>

Source§

impl<C: Config> CanSelect<C> for Felt<C::F>

Source§

impl<C: Config> CanSelect<C> for Var<C::N>