Trait move_bytecode_verifier::absint::AbstractDomain
source · [−]pub trait AbstractDomain: Clone + Sized {
fn join(&mut self, other: &Self) -> JoinResult;
}Expand description
Trait for finite-height abstract domains. Infinite height domains would require a more complex trait with widening and a partial order.