Function nat_str_hash

crates/kernel/src/expr.rs:956–961

()

  #[test]
  fn app_order_matters() {
    let v0 = AE::var(0, ());
    let v1 = AE::var(1, ());
    assert_ne!(AE::app(v0.clone(), v1.clone()).addr(), AE::app(v1, v0).addr());
  }

  #[test]
  fn lam_meta_name_does_not_affect_hash() {
    // Binder names are alpha-equivalent metadata; two lambdas differing