Type Alias InfParMachineDataSys 

pub type InfParMachineDataSys = InfParMachineData<usize>;

Type for circuit with system (usize) length type.

Aliased Type

pub struct InfParMachineDataSys {
    pub config: InfParMachineConfig,
    pub env_config: InfParEnvConfig,
    pub circuit: Circuit<usize>,
}

Fields

config: InfParMachineConfig

Machine configuration.

env_config: InfParEnvConfig

Execution environment configuration.

circuit: Circuit<usize>

Machine circuit.