Module lattices::map_union_with_tombstones

Module containing the MapUnionWithTombstones lattice and aliases for different datastructures.

Structs

• MapUnionWithTombstones
  Map-union-with-tombstones compound lattice.

Type Aliases

• MapUnionHashMapWithTombstoneHashSet
  std::collections::HashMap-backed MapUnionWithTombstones lattice.
• MapUnionWithTombstonesSingletonMapOnly
  crate::collections::SingletonMap-backed MapUnionWithTombstones lattice.
• MapUnionWithTombstonesTombstoneSingletonSetOnly
  crate::collections::SingletonSet-backed MapUnionWithTombstones lattice.