Trait evmil::util::Top

pub trait Top {
    const TOP: Self;
}

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

Required Associated Constants

const TOP: Self

Implementors

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

const TOP: Interval<T> = _