Struct Unverified 

pub struct Unverified {
    pub file: String,
    pub pattern: String,
    pub guard: Option<String>,
    pub widths: Vec<u32>,
    pub why: String,
}

One rule that was let in on a proof at narrower widths than it runs at.

Fields

file: String

The rule file it is in, as it was named on the command line.

pattern: String

The pattern it matches, printed back.

guard: Option<String>

The condition on the match, printed back, when the rule has one.

widths: Vec<u32>

The widths it was proved at, narrowest first.

why: String

The reason the rule’s bounded clause gives, which is what a reviewer signed for.

Trait Implementations

impl Clone for Unverified

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 Unverified

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

Formats the value using the given formatter.

impl Eq for Unverified

impl PartialEq for Unverified

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Unverified