Crate ascent_base

Re-exports

pub use lattice::Lattice;

Modules

lattice

Defines the Lattice trait and provides implementations for standard types

util

internal utility functions defined here

Structs

Dual

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