Struct EngineGap 

pub struct EngineGap {
    pub reason: String,
}

An honest decline: the goal expr contains a shape outside the closed grammar our translator emits, so no faithful Aver law can be reconstructed. Rendered as an “engine-form gap” verdict, NOT a guessed candidate.

Fields

reason: String

Trait Implementations

impl Clone for EngineGap

fn clone(&self) -> EngineGap

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EngineGap

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

Formats the value using the given formatter.

impl PartialEq for EngineGap

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for EngineGap