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

Function lean_all_ids

crates/kernel/src/ingress.rs:2754–2756  ·  view source on GitHub ↗
(all: &[Name], n2a: &DashMap<Name, Address>)

Source from the content-addressed store, hash-verified

2752) {
2753 for name in names {
2754 let named = match ixon_env.named.get(name) {
2755 Some(entry) => entry.value().clone(),
2756 None => continue,
2757 };
2758 let constant = match ixon_env.get_const(&named.addr) {
2759 Some(c) => c,

Callers 1

lean_const_to_kconstFunction · 0.85

Calls 3

leon_addr_ofFunction · 0.85
iterMethod · 0.45
cloneMethod · 0.45

Tested by

no test coverage detected