Function verify_module

pub fn verify_module(
    module: &CompiledModule,
    _verifier_config: &VerifierConfig,
) -> Result<(), ExecutionError>

Several functions in the Sui Framework have internal type parameters, whose arguments must be instantiated with types defined in the caller’s module. For example, with transfer::transfer<T>(...) T must be a type declared in the current module. Otherwise, transfer::public_transfer<T>(...) can be used without restriction, as long as T has store. Note thought that the ability constraint is not checked in this verifier, but rather in the normal bytecode verifier type checking. To avoid, issues, all su::transfer and sui::event functions must be configured in INTERNAL_FUNCTIONS.