Method hash_eq

crates/kernel/src/level.rs:85–87

Structural equality by Merkle hash (pointer-first fast path).

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

  /// Canonical-identity equality: `ptr_eq` or equal intern uid. Sound in
  /// the affirmative; incomplete in the negative (independently built
  /// equal levels carry distinct uids) — `==` adds the structural
  /// fallback.
  pub fn hash_eq(&self, other: &KUniv<M>) -> bool {
    self.ptr_eq(other) || self.addr() == other.addr()
  }