Module diem_types::vm_status::known_locations

Constants

• ACCOUNT_MODULE_NAME
  The name of the Account module.
• DESIGNATED_DEALER_MODULE_NAME
  The name of the Designated Dealer module.
• DIEM_MODULE_NAME
  The name of the Diem module.

Statics

• ACCOUNT_MODULE
  The ModuleId for the Account module.
• ACCOUNT_MODULE_IDENTIFIER
  The Identifier for the Account module.
• DESIGNATED_DEALER_MODULE
  The ModuleId for the Designated Dealer module.
• DESIGNATED_DEALER_MODULE_IDENTIFIER
  The Identifier for the Designated Dealer module.
• DIEM_MODULE
  The ModuleId for the Diem module.
• DIEM_MODULE_IDENTIFIER
  The Identifier for the Diem module.

Functions

• account_module_abort
  Location for an abort in the Account module
• designated_dealer_module_abort
• diem_module_abort