Method has_const

crates/kernel/src/tc.rs:268–270

(&mut self, id: &KId<M>)

  pub fn get_const(&mut self, id: &KId<M>) -> Result<KConst<M>, TcError<M>> {
    self
      .try_get_const(id)?
      .ok_or_else(|| TcError::UnknownConst(id.addr.clone()))
  }

  pub fn has_const(&mut self, id: &KId<M>) -> Result<bool, TcError<M>> {