Struct CoUseProof 

pub struct CoUseProof {
    pub peers: usize,
    pub broadcasts: usize,
    pub ledger_rows: usize,
    pub viture_panel_acked: bool,
}

Result of the modeled Viture and Halo co-use proof.

Fields

peers: usize

Number of attached surface peers.

broadcasts: usize

Number of projections receiving the Halo-driven update.

ledger_rows: usize

Number of canonical edit-ledger rows appended.

viture_panel_acked: bool

Whether the Viture review panel records the Halo acknowledgement.

Implementations

impl CoUseProof

pub fn to_expr(&self) -> Expr

Encodes the proof as expression data for cookbook recipes.

Trait Implementations

impl Clone for CoUseProof

fn clone(&self) -> CoUseProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CoUseProof

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

Formats the value using the given formatter.

impl Eq for CoUseProof

impl PartialEq for CoUseProof

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CoUseProof