Method hash_eq

crates/kernel/src/expr.rs:162–164

Content-addressed equality with a layered fast path. 1. `ptr_eq` on the outer `KExpr` Arc — fires when both sides came through the [`InternTable`](super::env::InternTable). 2. 32-byte Blake3 hash compare — sound on its own (collisions require an adversarial preimage attack), and a single AVX2 cycle on modern x86. Earlier revisions interposed an `Arc::ptr_eq` fast path on a process-globally-intern

(&self, other: &KExpr<M>)

  All(M::MField<Name>, M::MField<BinderInfo>, KExpr<M>, KExpr<M>, ExprInfo<M>),
  /// Let binding: name, type, value, body, non_dep flag.
  Let(M::MField<Name>, KExpr<M>, KExpr<M>, KExpr<M>, bool, ExprInfo<M>),
  /// Projection: struct type id, field index, struct value.
  Prj(KId<M>, u64, KExpr<M>, ExprInfo<M>),
  Nat(Nat, Address, ExprInfo<M>),
  Str(String, Address, ExprInfo<M>),
}