Function move_bytecode_verifier::dependencies::verify_module

pub fn verify_module<'a>(
    module: &CompiledModule, 
    dependencies: impl IntoIterator<Item = &'a CompiledModule>
) -> VMResult<()>