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

Method hash_key

crates/kernel/src/expr.rs:143–145  ·  view source on GitHub ↗

Content-addressed key for cache lookups. Returns the blake3 hash by value — `Addr` is `Copy`, so this is a 32-byte memcpy.

(&self)

Source from the content-addressed store, hash-verified

141 /// canonical value" — strictly, structural equality.
142 pub fn hash_key(&self) -> Addr {
143 *self.addr()
144 }
145
146 pub fn ptr_eq(&self, other: &KExpr<M>) -> bool {
147 Arc::ptr_eq(&self.0, &other.0)
148 }

Callers 15

egress_exprFunction · 0.80
whnf_leanMethod · 0.80
walk_for_unsafeMethod · 0.80
subst_cachedFunction · 0.80
simul_subst_cachedFunction · 0.80
lift_cachedFunction · 0.80
instantiate_rev_cachedFunction · 0.80
abstract_fvars_cachedFunction · 0.80
is_def_eqMethod · 0.80

Calls 1

addrMethod · 0.45

Tested by

no test coverage detected