Enum Tri 

pub enum Tri {
    True,
    False,
    Unknown,
}

Kleene 3-valued logic state.

Unknown propagates when a claim’s value can’t be decided, so “audit didn’t assert this claim” and “audit asserted this claim false” stay distinct end to end.

Variants

True

Claim asserted true.

False

Claim asserted false.

Unknown

Claim not asserted (or expression result undetermined).

Trait Implementations

impl Clone for Tri

fn clone(&self) -> Tri

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Tri

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

Formats the value using the given formatter.

impl Display for Tri

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

Formats the value using the given formatter.

impl Not for Tri

type Output = Tri

The resulting type after applying the ! operator.

fn not(self) -> Self

Performs the unary ! operation.

impl PartialEq for Tri

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

impl Eq for Tri

impl StructuralPartialEq for Tri