Enum Accumulates 

pub enum Accumulates {
    Nothing,
    Unproven,
    Within(i128, i128),
}

What an op accumulates in integers: nothing, a sum whose operands’ ranges no fact bounds, or every partial result within an interval.

Variants

Nothing

Unproven

Within(i128, i128)

Implementations

impl Accumulates

pub fn bits(self) -> Option<u32>

The fewest bits of a two’s-complement integer that holds every partial result, by its largest magnitude.

Trait Implementations

impl Clone for Accumulates

fn clone(&self) -> Accumulates

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Accumulates

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for Accumulates

fn eq(&self, other: &Accumulates) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Accumulates

impl Eq for Accumulates

impl StructuralPartialEq for Accumulates