Enum Gate 

pub enum Gate {
    Worth,
    Ungated,
}

Whether to enforce the worth test.

Gate::Ungated says the caller wants the sieve whatever its economics — soundness is a property of the quotient construction and must hold on every pattern that harvests one, not only on the ones the cost policy admits. The differential oracles and the calibration mint need it; production callers do not.

Variants

Worth

Build only if the arming inequality says the sieve pays for itself.

Ungated

Build whenever a quotient exists, regardless of the economics.

Trait Implementations

impl Clone for Gate

fn clone(&self) -> Gate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Gate

impl Debug for Gate

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

Formats the value using the given formatter.

impl Eq for Gate

impl PartialEq for Gate

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Gate