Function sort0

crates/kernel/src/constant.rs:160–162

()

  use ix_common::address::Address;
  use ix_common::env::{DefinitionSafety, QuotKind, ReducibilityHints};
  use ixon::constant::DefKind;

  fn sort0() -> KExpr<Anon> {
    KExpr::sort(KUniv::zero())
  }
  fn mk_addr(s: &str) -> Address {