Function bytecode_verifier::dependencies::verify_module

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