Enum NegativeScopeMode 

pub enum NegativeScopeMode {
    Narrow,
    Wide,
}

Controls scope of negation for lexically negative verbs (lacks, miss). “user who lacks a key” can mean:

• Wide: ¬∃y(Key(y) ∧ Have(x,y)) - “has NO keys” (natural reading)
• Narrow: ∃y(Key(y) ∧ ¬Have(x,y)) - “missing SOME key” (literal reading)

Variants

Narrow

Narrow scope negation (literal reading): ∃y(Key(y) ∧ ¬Have(x,y)) “User is missing some key” - need all keys (default/traditional reading)

Wide

Wide scope negation (natural reading): ¬∃y(Key(y) ∧ Have(x,y)) “User has no keys” - need at least one key

Trait Implementations

impl Clone for NegativeScopeMode

fn clone(&self) -> NegativeScopeMode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NegativeScopeMode

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

Formats the value using the given formatter.

impl Default for NegativeScopeMode

fn default() -> NegativeScopeMode

Returns the “default value” for a type.

impl PartialEq for NegativeScopeMode

fn eq(&self, other: &NegativeScopeMode) -> 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 NegativeScopeMode

impl Eq for NegativeScopeMode

impl StructuralPartialEq for NegativeScopeMode