Method sort

crates/kernel/src/expr.rs:284–286

(u: KUniv<M>)

  })
}

// =============================================================================
// Constructors: each `*_mdata` form allocates a fresh uid; the
// `*_mdata_with_addr` builders remain for the intern table and callers
// that already hold a fresh uid. Structural identity (what used to be the
// content hash) is decided by `InternTable`'s shallow keys — see