Enum ExtractionResult 

pub enum ExtractionResult {
    Success(ExtractedProgram),
    NonConstructive(String),
    Failure(String),
}

Result of a program extraction attempt.

Variants

Success(ExtractedProgram)

Successful extraction yielding a program.

NonConstructive(String)

The proposition is not constructive (contains classical reasoning).

Failure(String)

Extraction failed for some other reason.

Trait Implementations

impl Clone for ExtractionResult

fn clone(&self) -> ExtractionResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExtractionResult

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

Formats the value using the given formatter.

impl PartialEq for ExtractionResult

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ExtractionResult

impl StructuralPartialEq for ExtractionResult