Function lam_meta_name_does_not_affect_hash

crates/kernel/src/expr.rs:888–898

()

  type MU = KUniv<Meta>;
  type AU = KUniv<Anon>;

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

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

  // ---- Constructors & hashing ----