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)