Function mk_axiom

crates/kernel/src/testing.rs:179–194

(
  name: &str,
  lvls: u64,
  level_params: Vec<Name>,
  ty: ME,
)

}

pub fn mk_axiom(
  name: &str,
  lvls: u64,
  level_params: Vec<Name>,
  ty: ME,
) -> (MId, KConst<Meta>) {
  let id = mk_id(name);
  let c = KConst::Axio {
    name: mk_name(name),
    level_params,
    is_unsafe: false,
    lvls,
    ty,
  };
  (id, c)
}

// ---- Common environment builders ----