Enum ConsistencyBoundary 

pub enum ConsistencyBoundary {
    BeforeCapture,
    AfterCapture,
}

Explicit capture boundary; before/after equality alone establishes no continuity.

Variants

BeforeCapture

Check current evidence before capture under independently qualified effect admission.

AfterCapture

Check current evidence after capture; not a completion receipt.

Trait Implementations

impl Clone for ConsistencyBoundary

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ConsistencyBoundary

impl Debug for ConsistencyBoundary

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

Formats the value using the given formatter.

impl Eq for ConsistencyBoundary

impl PartialEq for ConsistencyBoundary

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ConsistencyBoundary