pub type Rv32BranchLessThan256Air = VmAirWrapper<VecToFlatBranchAdapterAir<Rv32VecHeapBranchAdapterAir<2, INT256_NUM_BLOCKS, DEFAULT_BLOCK_SIZE>, 2, INT256_NUM_BLOCKS, DEFAULT_BLOCK_SIZE, INT256_NUM_LIMBS>, BranchLessThanCoreAir<INT256_NUM_LIMBS, RV32_CELL_BITS>>;Expand description
BranchLessThan256
Aliased Type§
pub struct Rv32BranchLessThan256Air {
pub adapter: VecToFlatBranchAdapterAir<Rv32VecHeapBranchAdapterAir<2, 8, 4>, 2, 8, 4, 32>,
pub core: BranchLessThanCoreAir<32, 8>,
}Fields§
§adapter: VecToFlatBranchAdapterAir<Rv32VecHeapBranchAdapterAir<2, 8, 4>, 2, 8, 4, 32>§core: BranchLessThanCoreAir<32, 8>