Method level_params

crates/kernel/src/constant.rs:136–146

(&self)

    #[allow(unreachable_patterns)]
    match self {
      KConst::Defn { level_params, .. }
      | KConst::Recr { level_params, .. }
      | KConst::Axio { level_params, .. }
      | KConst::Quot { level_params, .. }
      | KConst::Indc { level_params, .. }
      | KConst::Ctor { level_params, .. } => level_params,
    }
  }
}

#[cfg(test)]
mod tests {
  use super::super::expr::KExpr;
  use super::super::id::KId;