Module lattice

Defines the Lattice trait and provides implementations for standard types

Re-exports

• pub use product::Product;

Modules

• bounded_set
• constant_propagation
• ord_lattice
• product
• set
• tuple

Structs

• Dual
  A wrapper type that swaps (<= and >=) for PartialOrds, (meet and join) for Lattices, and (top and bottom) for BoundedLattices.

Traits

• BoundedLattice
• Lattice
  A Lattice is a PartialOrd where each pair of elements has a least upper bound (join) and a greatest lower bound (meet)