Expand description
Module containing the MapUnionWithTombstones lattice and aliases for different datastructures.
Structs§
- MapUnion
With Tombstones - Map-union-with-tombstones compound lattice.
Type Aliases§
- MapUnion
Hash MapWith Tombstone Hash Set std::collections::HashMap-backedMapUnionWithTombstoneslattice.- MapUnion
With Tombstones Singleton MapOnly crate::collections::SingletonMap-backedMapUnionWithTombstoneslattice.- MapUnion
With Tombstones Tombstone Singleton SetOnly crate::collections::SingletonSet-backedMapUnionWithTombstoneslattice.