fuel_vm::constraints

Module reg_key

source
Expand description

Utilities for accessing register values and proving at compile time that the register index is valid.

This module also provides utilities for mutably accessing multiple registers.

Structs§

  • Immutable reference to a register value at a given index.
  • Mutable reference to a register value at a given index.
  • A key to a writable register that is within the bounds of the writable registers.

Constants§

  • Register index key for use with Reg and RegMut.
  • Register index key for use with Reg and RegMut.
  • Register index key for use with Reg and RegMut.
  • Register index key for use with Reg and RegMut.
  • Register index key for use with Reg and RegMut.
  • Register index key for use with Reg and RegMut.
  • Register index key for use with Reg and RegMut.
  • Register index key for use with Reg and RegMut.
  • Register index key for use with Reg and RegMut.
  • Register index key for use with Reg and RegMut.
  • Register index key for use with Reg and RegMut.
  • Register index key for use with Reg and RegMut.
  • Register index key for use with Reg and RegMut.
  • Register index key for use with Reg and RegMut.
  • Register index key for use with Reg and RegMut.
  • Register index key for use with Reg and RegMut.

Traits§

  • Get register reference by name.
  • Get register mutable reference by name.