Method name

crates/compile/src/mutual.rs:141–147

Returns the name of this mutual constant.

(&self)

impl MutConst {
  /// Returns the name of this mutual constant.
  pub fn name(&self) -> Name {
    match self {
      Self::Defn(x) => x.name.clone(),
      Self::Recr(x) => x.cnst.name.clone(),
      Self::Indc(x) => x.ind.cnst.name.clone(),
    }
  }

  /// Returns the constructors if this is an inductive, or an empty vec otherwise.
  pub fn ctors(&self) -> Vec<ConstructorVal> {