MCPcopy Create free account
hub / github.com/argumentcomputer/ix / empty_resolver

Function empty_resolver

crates/kernel/src/congruence.rs:399–401  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

397 }
398
399 fn empty_resolver() -> NameResolver {
400 NameResolver::from_ixon_env(&IxonEnv::new())
401 }
402
403 fn resolver_with(entries: &[(Name, Address)]) -> NameResolver {
404 let env = IxonEnv::new();

Callers 15

level_zero_matchesFunction · 0.85
level_succ_matchesFunction · 0.85
level_max_matchesFunction · 0.85
level_imax_matchesFunction · 0.85
level_param_matchesFunction · 0.85
level_zero_vs_succ_failsFunction · 0.85
level_max_vs_imax_failsFunction · 0.85
expr_bvar_matchesFunction · 0.85
expr_sort_matchesFunction · 0.85

Calls

no outgoing calls

Tested by 15

level_zero_matchesFunction · 0.68
level_succ_matchesFunction · 0.68
level_max_matchesFunction · 0.68
level_imax_matchesFunction · 0.68
level_param_matchesFunction · 0.68
level_zero_vs_succ_failsFunction · 0.68
level_max_vs_imax_failsFunction · 0.68
expr_bvar_matchesFunction · 0.68
expr_sort_matchesFunction · 0.68