Trait mz_compute_types::plan::interpret::BoundedLattice

source ·
pub trait BoundedLattice: Lattice {
    // Required methods
    fn top() -> Self;
    fn bottom() -> Self;
}
Expand description

A lattice with existing top and bottom elements.

Required Methods§

source

fn top() -> Self

The top element of this lattice (represents the most general approximation).

source

fn bottom() -> Self

The bottom element of this lattice (represents the most constrained approximation).

Object Safety§

This trait is not object safe.

Implementors§