Trait evmil::util::Bottom

pub trait Bottom {
    const BOTTOM: Self;
}

Defines an abstract value which has a specific BOTTOM value in the lattice.

Required Associated Constants

const BOTTOM: Self

Implementors

impl<'a, S: Stack + JoinSemiLattice> Bottom for Evm<'a, S>

const BOTTOM: Evm<'a, S> = _

impl<T> Bottom for AbstractStack<T>where
    T: PartialEq + Copy + Bottom,

const BOTTOM: Self = _

impl<T: Copy + Ord + Min + Max> Bottom for Interval<T>

const BOTTOM: Interval<T> = _