openvm_rv32im_circuitType Alias Rv32BranchLessThanChip
Source pub type Rv32BranchLessThanChip<F> = VmChipWrapper<F, Rv32BranchAdapterChip<F>, BranchLessThanCoreChip<RV32_REGISTER_NUM_LIMBS, RV32_CELL_BITS>>;
struct Rv32BranchLessThanChip<F> {
pub adapter: Rv32BranchAdapterChip<F>,
pub core: BranchLessThanCoreChip<4, 8>,
pub records: Vec<(<Rv32BranchAdapterChip<F> as VmAdapterChip<F>>::ReadRecord, <Rv32BranchAdapterChip<F> as VmAdapterChip<F>>::WriteRecord, <BranchLessThanCoreChip<RV32_REGISTER_NUM_LIMBS, RV32_CELL_BITS> as VmCoreChip<F, <Rv32BranchAdapterChip<F> as VmAdapterChip<F>>::Interface>>::Record)>,
}