Function move_bytecode_verifier::cyclic_dependencies::verify_module

pub fn verify_module<D, F>(
    module: &CompiledModule, 
    imm_deps: D, 
    imm_friends: F
) -> VMResult<()> where
    D: Fn(&ModuleId) -> PartialVMResult<Vec<ModuleId>>,
    F: Fn(&ModuleId) -> PartialVMResult<Vec<ModuleId>>,