Module bytecode_verifier::ability_field_requirements

This module implements a checker for verifying that all of the struct’s fields satisfy the abilities required by the struct’s abilities

Functions

• verify_module