Module move_bytecode_verifier::dependencies

source · [−]
Expand description

This module contains verification of usage of dependencies for modules and scripts.

Functions

verify_module
verify_script
verify_script_impl