Function resolver_with

crates/kernel/src/congruence.rs:403–409

(entries: &[(Name, Address)])

  }

  fn resolver_with(entries: &[(Name, Address)]) -> NameResolver {
    let env = IxonEnv::new();
    for (n, a) in entries {
      env.register_name(n.clone(), Named::with_addr(a.clone()));
    }
    NameResolver::from_ixon_env(&env)
  }

  // ---- level_congruent ----