Modules
- Suppose we have the following data structure in a smart contract:
- This file implements length and character set limited string types needed for DiemID as defined by DIP-10: https://github.com/diem/dip/blob/main/dips/dip-10.md
Nibble
represents a four-bit unsigned integer.- For each transaction the VM executes, the VM will output a
WriteSet
that contains each access path it updates. For each access path, the VM can either give its new value or delete it.
Structs
- A struct that represents an account address.