Module struct_with_key_verifier

This pass verifies necessary properties for Move Objects, i.e. structs with the key ability. The properties checked are

• The first field is named “id”
• The first field has type sui::object::UID

Functions

• verify_module