Function verify_module

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

All transfer functions (the functions in sui::transfer) are “private” in that they are restricted to the module. For example, with transfer::transfer<T>(...), either:

• T must be a type declared in the current module or
• T must have store

Similarly, event::emit is also “private” to the module. Unlike the transfer functions, there is no relaxation for store Concretely, with event::emit<T>(...):

• T must be a type declared in the current module