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

141impl fmt::Display for FVarId {
142 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
143 write!(f, "fv${}", self.0)
144 }
145}
146
147/// Expression data. Each variant carries its [`ExprInfo<M>`].
148#[derive(Clone, Debug)]

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