Enum ProofObligation 

pub enum ProofObligation {
    None,
    Owed(ProofOwed),
    OwedIfApp(ProofOwed),
    OwedOverLink(LinkProofOwed),
    OwedIfAppOverLink(LinkProofOwed),
}

Variants

None

Owed(ProofOwed)

OwedIfApp(ProofOwed)

OwedOverLink(LinkProofOwed)

OwedIfAppOverLink(LinkProofOwed)

Implementations

impl ProofObligation

pub fn for_delivery(strategy: ProofStrategy, owed: ProofOwed) -> ProofObligation

Trait Implementations

impl Clone for ProofObligation

fn clone(&self) -> ProofObligation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ProofObligation

impl Debug for ProofObligation

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

Formats the value using the given formatter.

impl Eq for ProofObligation

impl PartialEq for ProofObligation

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ProofObligation