Crate ascent_base

source · [−]

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 that swaps (<= and >=), (meet and join), and (top and bottom) for BoundedLattices.