Type Alias Rv32LessThan256Air 

pub type Rv32LessThan256Air = VmAirWrapper<VecToFlatAluAdapterAir<Rv32VecHeapAdapterAir<2, INT256_NUM_BLOCKS, INT256_NUM_BLOCKS, DEFAULT_BLOCK_SIZE, DEFAULT_BLOCK_SIZE>, 2, INT256_NUM_BLOCKS, INT256_NUM_BLOCKS, DEFAULT_BLOCK_SIZE, INT256_NUM_LIMBS, INT256_NUM_LIMBS>, LessThanCoreAir<INT256_NUM_LIMBS, RV32_CELL_BITS>>;

LessThan256

Aliased Type

pub struct Rv32LessThan256Air {
    pub adapter: VecToFlatAluAdapterAir<Rv32VecHeapAdapterAir<2, 8, 8, 4, 4>, 2, 8, 8, 4, 32, 32>,
    pub core: LessThanCoreAir<32, 8>,
}

Fields

adapter: VecToFlatAluAdapterAir<Rv32VecHeapAdapterAir<2, 8, 8, 4, 4>, 2, 8, 8, 4, 32, 32>

core: LessThanCoreAir<32, 8>