Expand description
Module containing the SetUnion lattice and aliases for different datastructures.
Structs§
- Cartesian
Product Bimorphism - Bimorphism for the cartesian product of two sets. Output is a set of all possible pairs of items from the two input sets.
- SetUnion
- Set-union lattice.
Type Aliases§
- SetUnion
Array crate::collections::ArraySet-backedSetUnionlattice.- SetUnionB
Tree Set std::collections::BTreeSet-backedSetUnionlattice.- SetUnion
Hash Set std::collections::HashSet-backedSetUnionlattice.- SetUnion
Option Set Option-backedSetUnionlattice.- SetUnion
Singleton Set crate::collections::SingletonSet-backedSetUnionlattice.- SetUnion
Vec Vec-backedSetUnionlattice.