Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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_matches
Function · 0.85
level_succ_matches
Function · 0.85
level_max_matches
Function · 0.85
level_imax_matches
Function · 0.85
level_param_matches
Function · 0.85
level_zero_vs_succ_fails
Function · 0.85
level_max_vs_imax_fails
Function · 0.85
level_succ_inner_propagates_error
Function · 0.85
expr_bvar_matches
Function · 0.85
expr_bvar_idx_mismatch_fails
Function · 0.85
expr_sort_matches
Function · 0.85
expr_const_name_missing_from_resolver_fails
Function · 0.85
Calls
no outgoing calls
Tested by
15
level_zero_matches
Function · 0.68
level_succ_matches
Function · 0.68
level_max_matches
Function · 0.68
level_imax_matches
Function · 0.68
level_param_matches
Function · 0.68
level_zero_vs_succ_fails
Function · 0.68
level_max_vs_imax_fails
Function · 0.68
level_succ_inner_propagates_error
Function · 0.68
expr_bvar_matches
Function · 0.68
expr_bvar_idx_mismatch_fails
Function · 0.68
expr_sort_matches
Function · 0.68
expr_const_name_missing_from_resolver_fails
Function · 0.68