Module ascent::lattice

Defines the Lattice trait and provides implementations for standard types

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.
• Product
  A wrapper for tuple types and arrays that implements PartialOrd using product-order semantics.

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)