Function bytecode_verifier::script_signature::verify_module_script_function

pub fn verify_module_script_function(
    module: &CompiledModule,
    name: &IdentStr
) -> VMResult<()>

This function checks the extra requirements on the signature of the script visible function when it serves as an entry point for script execution