Function mk_addr

crates/kernel/src/canonical_check.rs:841–843

(s: &str)

    Address::from_slice(&[byte; 32]).unwrap()
  }

  fn mk_id(s: &str) -> KId<Anon> {
    KId::new(mk_addr(s), ())
  }

  fn sort0() -> AE {