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

Function mk_addr

crates/kernel/src/congruence.rs:395–397  ·  view source on GitHub ↗
(s: &str)

Source from the content-addressed store, hash-verified

393 }
394
395 fn mk_addr(s: &str) -> Address {
396 Address::hash(s.as_bytes())
397 }
398
399 fn empty_resolver() -> NameResolver {
400 NameResolver::from_ixon_env(&IxonEnv::new())

Callers 15

expr_const_matches_by_addressFunction · 0.70
expr_const_addr_mismatch_failsFunction · 0.70
expr_const_name_missing_from_resolver_failsFunction · 0.70
expr_const_level_count_mismatch_failsFunction · 0.70
expr_nat_lit_matchesFunction · 0.70
expr_str_lit_matchesFunction · 0.70
expr_proj_matchesFunction · 0.70
expr_proj_field_mismatch_failsFunction · 0.70
const_variant_mismatch_failsFunction · 0.70
const_defn_value_mismatch_propagatesFunction · 0.70
const_induct_param_count_mismatch_failsFunction · 0.70
const_ctor_field_count_mismatch_failsFunction · 0.70

Calls 1

as_bytesMethod · 0.80

Tested by 15

expr_const_matches_by_addressFunction · 0.56
expr_const_addr_mismatch_failsFunction · 0.56
expr_const_name_missing_from_resolver_failsFunction · 0.56
expr_const_level_count_mismatch_failsFunction · 0.56
expr_nat_lit_matchesFunction · 0.56
expr_str_lit_matchesFunction · 0.56
expr_proj_matchesFunction · 0.56
expr_proj_field_mismatch_failsFunction · 0.56
const_variant_mismatch_failsFunction · 0.56
const_defn_value_mismatch_propagatesFunction · 0.56
const_induct_param_count_mismatch_failsFunction · 0.56
const_ctor_field_count_mismatch_failsFunction · 0.56