Struct CriticalQuestionInstance 

pub struct CriticalQuestionInstance {
    pub number: u32,
    pub text: String,
    pub challenge: Challenge,
    pub counter_literal: Literal,
}

A critical question instantiated with concrete bindings.

Fields

number: u32

Question number (from the parent scheme).

text: String

Human-readable text with ?slot references resolved.

challenge: Challenge

The challenge type (from the parent CriticalQuestion).

counter_literal: Literal

The literal that, if asserted, would undermine the original argument. Always negated.

Trait Implementations

impl Clone for CriticalQuestionInstance

fn clone(&self) -> CriticalQuestionInstance

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CriticalQuestionInstance

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

Formats the value using the given formatter.

impl PartialEq for CriticalQuestionInstance

fn eq(&self, other: &CriticalQuestionInstance) -> 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 CriticalQuestionInstance

impl StructuralPartialEq for CriticalQuestionInstance