Empty MapEmpty July 1, 2026 ListEmpty July 1, 2026 StrEmpty July 1, 2026 BitVecEmpty July 1, 2026 VecEmpty July 1, 2026 GraphEmpty July 1, 2026