sui_verifier_v1::private_generics

Function verify_module

Source 
pub fn verify_module(module: &CompiledModule) -> Result<(), ExecutionError>
Expand description

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