Function var

crates/kernel/src/inductive.rs:4549–4551

(i: u64)

  use super::super::expr::{ExprData, KExpr};
  use super::super::id::KId;
  use super::super::level::KUniv;
  use super::super::mode::Anon;
  use super::super::tc::TypeChecker;
  use ix_common::address::Address;

  type AE = KExpr<Anon>;