Struct GlancePagerProof 

pub struct GlancePagerProof {
    pub modeled_source_monotone: bool,
    pub notification_sent: bool,
    pub sample_seq: u64,
    pub adapter_cells: u8,
    pub notification_lines: usize,
    pub notification: Expr,
}

Result of the hardware-free glance pager proof.

Fields

modeled_source_monotone: bool

Whether the source is deterministic and monotone.

notification_sent: bool

Whether the adapted glance becomes a watch notification command.

sample_seq: u64

Modeled worn sample sequence.

adapter_cells: u8

Compact watch adapter cell budget.

notification_lines: usize

Number of notification body lines.

notification: Expr

Encoded notification command.

Implementations

impl GlancePagerProof

pub fn to_expr(&self) -> Expr

Encodes the proof as expression data for cookbook recipes.

Trait Implementations

impl Clone for GlancePagerProof

fn clone(&self) -> GlancePagerProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GlancePagerProof

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

Formats the value using the given formatter.

impl PartialEq for GlancePagerProof

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for GlancePagerProof