Function mk_name

crates/kernel/src/congruence.rs:387–393

(s: &str)

  // ---- test helpers ----

  fn mk_name(s: &str) -> Name {
    let mut n = Name::anon();
    for part in s.split('.') {
      n = Name::str(n, part.to_string());
    }
    n
  }

  fn mk_addr(s: &str) -> Address {
    Address::hash(s.as_bytes())