Method addr

crates/kernel/src/level.rs:70–78

(&self)

  }

  pub fn addr(&self) -> &Addr {
    match self.data() {
      UnivData::Zero(h)
      | UnivData::Succ(_, h)
      | UnivData::Max(_, _, h)
      | UnivData::IMax(_, _, h)
      | UnivData::Param(_, _, h) => h,
    }
  }

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