Method is_zero

crates/kernel/src/level.rs:90–92

True if this level is definitionally zero (Prop).

(&self)

  pub fn hash_eq(&self, other: &KUniv<M>) -> bool {
    self.ptr_eq(other) || self.addr() == other.addr()
  }

  /// Structural equality mirroring the intern identity: `Param` display
  /// names are NOT compared (matching the historical hash semantics).
  /// Equal interned subtrees prune at the uid fast path.
  fn structural_eq(&self, other: &Self) -> bool {