Function cnst

crates/kernel/src/inductive.rs:4545–4547

Helper: build `Const(name, univs)`

(name: &str, us: &[AU])

  use super::super::constant::KConst;
  use super::super::env::KEnv;
  use super::super::error::TcError;
  use super::super::expr::{ExprData, KExpr};
  use super::super::id::KId;
  use super::super::level::KUniv;
  use super::super::mode::Anon;