openvm_rv32im_circuit

Type Alias Rv32JalrChip

Source
pub type Rv32JalrChip<F> = VmChipWrapper<F, Rv32JalrAdapterChip<F>, Rv32JalrCoreChip>;

Aliased Type§

struct Rv32JalrChip<F> {
    pub adapter: Rv32JalrAdapterChip<F>,
    pub core: Rv32JalrCoreChip,
    pub records: Vec<(<Rv32JalrAdapterChip<F> as VmAdapterChip<F>>::ReadRecord, <Rv32JalrAdapterChip<F> as VmAdapterChip<F>>::WriteRecord, <Rv32JalrCoreChip as VmCoreChip<F, <Rv32JalrAdapterChip<F> as VmAdapterChip<F>>::Interface>>::Record)>,
    /* private fields */
}

Fields§

§adapter: Rv32JalrAdapterChip<F>§core: Rv32JalrCoreChip§records: Vec<(<Rv32JalrAdapterChip<F> as VmAdapterChip<F>>::ReadRecord, <Rv32JalrAdapterChip<F> as VmAdapterChip<F>>::WriteRecord, <Rv32JalrCoreChip as VmCoreChip<F, <Rv32JalrAdapterChip<F> as VmAdapterChip<F>>::Interface>>::Record)>