openvm_rv32im_circuit

Type Alias Rv32JalLuiChip

Source
pub type Rv32JalLuiChip<F> = VmChipWrapper<F, Rv32CondRdWriteAdapterChip<F>, Rv32JalLuiCoreChip>;

Aliased Type§

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

Fields§

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