Function mdata_default_empty

crates/kernel/src/expr.rs:966–969

()

    // Binder names are alpha-equivalent metadata; two lambdas differing
    // only in binder name hash identically (true alpha-invariance even
    // in `Meta` mode).
    let ty = ME::sort(MU::zero());
    let body = ME::var(0, mk_name("x"));
    let a =
      ME::lam(mk_name("x"), BinderInfo::Default, ty.clone(), body.clone());
    let b = ME::lam(mk_name("y"), BinderInfo::Default, ty, body);
    assert_eq!(a, b);