Method ptr_eq

crates/kernel/src/level.rs:80–82

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

  }

  pub fn ptr_eq(&self, other: &KUniv<M>) -> bool {
    Arc::ptr_eq(&self.0, &other.0)
  }

  /// Canonical-identity equality: `ptr_eq` or equal intern uid. Sound in
  /// the affirmative; incomplete in the negative (independently built