Struct BitsCheckBusInteraction

pub struct BitsCheckBusInteraction<T> {
    pub x: T,
    pub shift: u32,
    pub bus_index: usize,
}

Fields

x: T

shift: u32

bus_index: usize

Implementations

impl<T: AbstractField> BitsCheckBusInteraction<T>

pub fn eval<AB>(self, builder: &mut AB, count: impl Into<AB::Expr>)

where AB: InteractionBuilder<Expr = T>,

Send interaction(s) to range check for max bits over the RangeCheck bus.

Trait Implementations

impl<T: Clone> Clone for BitsCheckBusInteraction<T>

fn clone(&self) -> BitsCheckBusInteraction<T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug> Debug for BitsCheckBusInteraction<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T: Copy> Copy for BitsCheckBusInteraction<T>