Enum CalcVerdict 

pub enum CalcVerdict {
    Lemma(Box<UntranslatedGoal>),
    Decline(String),
}

The calculator’s verdict: a forced lemma (a rewritten goal ready for the candidate builder), or an honest decline naming why the lemma is not forced.

Variants

Lemma(Box<UntranslatedGoal>)

Decline(String)

Trait Implementations

impl Clone for CalcVerdict

fn clone(&self) -> CalcVerdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CalcVerdict

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

Formats the value using the given formatter.