Trait evmil::util::JoinInto

pub trait JoinInto {
    fn join_into(&mut self, other: &Self) -> bool;
}

An abstract value can be used to represent one or more concrete values.

Required Methods

fn join_into(&mut self, other: &Self) -> bool

Merge another abstract value into this value.

Implementors

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

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

impl<T: Copy + Ord> JoinInto for Interval<T>