Method lvls

crates/kernel/src/constant.rs:114–123

(&self)

      | KConst::Ctor { ty, .. } => ty,
    }
  }

  pub fn lvls(&self) -> u64 {
    match self {
      KConst::Defn { lvls, .. }
      | KConst::Recr { lvls, .. }
      | KConst::Axio { lvls, .. }
      | KConst::Quot { lvls, .. }
      | KConst::Indc { lvls, .. }
      | KConst::Ctor { lvls, .. } => *lvls,
    }
  }