Enum CheckVerdict 

pub enum CheckVerdict {
    Checked {
        summary: String,
        faces: Vec<String>,
    },
    NoExports(String),
}

Developer preflight result. A green value means the checker-owned witness elaborated successfully while trusting the local Lake .olean graph. It is deliberately distinct from Verdict: only verify performs the final fresh-environment replay required for certification.

Variants

Checked

Fields

summary: String

faces: Vec<String>

NoExports(String)

Trait Implementations

impl Clone for CheckVerdict

fn clone(&self) -> CheckVerdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckVerdict

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

Formats the value using the given formatter.

impl Eq for CheckVerdict

impl PartialEq for CheckVerdict

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CheckVerdict