Enum Proof 

pub enum Proof {
    Request(String),
    LocalIntegration(String),
}

What authorized a branch’s retirement.

Exactly two proofs are admissible, one per integration authority, and neither stands in for the other. Both rest on the same predicate: the tip the proof recorded equals the tip observed now.

Variants

Request(String)

A merged request whose recorded head equals this tip.

LocalIntegration(String)

A local integration whose recorded branch tip equals this tip.

Implementations

impl Proof

pub fn detail(&self) -> String

What the report prints beside the branch.

pub const fn kind(&self) -> &'static str

Which proof this is, for the machine report.

Trait Implementations

impl Clone for Proof

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Proof

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

Formats the value using the given formatter.

impl Eq for Proof

impl PartialEq for Proof

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Proof