Struct LessThanAuxCols

#[repr(C)]
pub struct LessThanAuxCols<T, const AUX_LEN: usize> {
    pub lower_decomp: [T; AUX_LEN],
}

These columns are owned by the SubAir. Typically used with T = AB::Var. AUX_LEN is the number of AUX columns we have that AUX_LEN = max_bits.div_ceil(bus.range_max_bits)

Fields

lower_decomp: [T; AUX_LEN]

Implementations

impl<T, const AUX_LEN: usize> LessThanAuxCols<T, AUX_LEN>

pub const fn width() -> usize

impl<T, const AUX_LEN: usize> LessThanAuxCols<T, AUX_LEN>

pub fn new(lower_decomp: [T; AUX_LEN]) -> Self

Constructs a new LessThanAuxCols.

Trait Implementations

impl<T, const AUX_LEN: usize> Borrow<LessThanAuxCols<T, AUX_LEN>> for [T]

fn borrow(&self) -> &LessThanAuxCols<T, AUX_LEN>

Immutably borrows from an owned value.

impl<T, const AUX_LEN: usize> BorrowMut<LessThanAuxCols<T, AUX_LEN>> for [T]

fn borrow_mut(&mut self) -> &mut LessThanAuxCols<T, AUX_LEN>

Mutably borrows from an owned value.

impl<T: Clone, const AUX_LEN: usize> Clone for LessThanAuxCols<T, AUX_LEN>

fn clone(&self) -> LessThanAuxCols<T, AUX_LEN>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug, const AUX_LEN: usize> Debug for LessThanAuxCols<T, AUX_LEN>

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

Formats the value using the given formatter.

impl<T: Copy, const AUX_LEN: usize> Copy for LessThanAuxCols<T, AUX_LEN>