Module fuel_vm::constraints

source ·
Expand description

Types to help constrain inputs to functions to only what is used.

Modules

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

Structs

  • CheckedMemConstLen
    A range of memory that has been checked that it fits into the VM memory.
  • CheckedMemValue
    A range of memory that has been checked that it fits into the VM memory. This range can be used to read a value of type T from memory.
  • InstructionLocation
    Location of an instructing collected during runtime