Method get_type

crates/common/src/env.rs:1413–1424

Returns the type of this constant.

(&self)

    hasher.finalize()
  }

  /// Returns the name of this constant.
  pub fn get_name(&self) -> &Name {
    match self {
      ConstantInfo::AxiomInfo(v) => &v.cnst.name,
      ConstantInfo::DefnInfo(v) => &v.cnst.name,
      ConstantInfo::ThmInfo(v) => &v.cnst.name,
      ConstantInfo::OpaqueInfo(v) => &v.cnst.name,
      ConstantInfo::QuotInfo(v) => &v.cnst.name,
      ConstantInfo::InductInfo(v) => &v.cnst.name,
      ConstantInfo::CtorInfo(v) => &v.cnst.name,
      ConstantInfo::RecInfo(v) => &v.cnst.name,
    }
  }