Method lvls

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

(&self)

    match self {
      KConst::Defn { lvls, .. }
      | KConst::Recr { lvls, .. }
      | KConst::Axio { lvls, .. }
      | KConst::Quot { lvls, .. }
      | KConst::Indc { lvls, .. }
      | KConst::Ctor { lvls, .. } => *lvls,
    }
  }

  pub fn name(&self) -> &M::MField<Name> {
    match self {
      KConst::Defn { name, .. }
      | KConst::Recr { name, .. }
      | KConst::Axio { name, .. }