Crate diem_types[][src]


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:

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.


A struct that represents an account address.