openvm_rv32im_circuit/branch_lt/
mod.rs

1use openvm_circuit::arch::VmChipWrapper;
2
3use super::adapters::{RV32_CELL_BITS, RV32_REGISTER_NUM_LIMBS};
4use crate::adapters::Rv32BranchAdapterChip;
5
6mod core;
7pub use core::*;
8
9#[cfg(test)]
10mod tests;
11
12pub type Rv32BranchLessThanChip<F> = VmChipWrapper<
13    F,
14    Rv32BranchAdapterChip<F>,
15    BranchLessThanCoreChip<RV32_REGISTER_NUM_LIMBS, RV32_CELL_BITS>,
16>;