List of all items

Structs

• check_duplication::DuplicationChecker
• code_unit_verifier::CodeUnitVerifier
• instantiation_loops::InstantiationLoopChecker
• instruction_consistency::InstructionConsistency
• signature::SignatureChecker
• struct_defs::RecursiveStructDefChecker

Functions

• ability_field_requirements::verify_module
• constants::verify_module
• constants::verify_script
• control_flow::verify
• cyclic_dependencies::verify_module
• dependencies::verify_module
• dependencies::verify_script
• dependencies::verify_script_impl
• friends::verify_module
• script_signature::verify_module_script_function
• script_signature::verify_script
• verifier::verify_module
• verifier::verify_script