openvm_rv32im_circuit/less_than/
mod.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
use openvm_circuit::arch::VmChipWrapper;

use super::adapters::{Rv32BaseAluAdapterChip, RV32_CELL_BITS, RV32_REGISTER_NUM_LIMBS};

mod core;
pub use core::*;

#[cfg(test)]
mod tests;

pub type Rv32LessThanChip<F> = VmChipWrapper<
    F,
    Rv32BaseAluAdapterChip<F>,
    LessThanCoreChip<RV32_REGISTER_NUM_LIMBS, RV32_CELL_BITS>,
>;