Function mk_addr

crates/kernel/src/constant.rs:163–165

(s: &str)

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