Trait UnsignedAddPrimitives

pub trait UnsignedAddPrimitives {
    type F: TowerField;

    const BIT_LENGTH: usize;
}

A very simple trait used in Addition gadgets for unsigned integers of different bit lengths.

Required Associated Constants

const BIT_LENGTH: usize

Required Associated Types

type F: TowerField

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.

Implementations on Foreign Types

impl UnsignedAddPrimitives for u32

const BIT_LENGTH: usize = 32usize

type F = BinaryField32b

impl UnsignedAddPrimitives for u64

const BIT_LENGTH: usize = 64usize

type F = BinaryField64b

Implementors