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

Method iter

crates/kernel/src/env.rs:493–495  ·  view source on GitHub ↗

Iterate over all constants. Returns owned (KId, KConst) pairs.

(&self)

Source from the content-addressed store, hash-verified

491 }
492
493 pub fn contains_key(&self, id: &KId<M>) -> bool {
494 self.consts.contains_key(id)
495 }
496
497 /// Iterate over all constants. Returns owned (KId, KConst) pairs.
498 pub fn iter(&self) -> impl Iterator<Item = (KId<M>, KConst<M>)> + '_ {

Callers 15

from_env_withMethod · 0.45
reserved_marker_nameFunction · 0.45
new_and_default_matchFunction · 0.45
check_eq_typeMethod · 0.45
abstract_fvarsFunction · 0.45
try_same_head_spineMethod · 0.45
is_def_eq_whnfMethod · 0.45
try_def_eq_appMethod · 0.45
compact_def_eq_exprFunction · 0.45
try_iota_with_flagsMethod · 0.45
try_struct_eta_iotaMethod · 0.45

Calls 1

cloneMethod · 0.45