Struct RMA0System 

pub struct RMA0System {
    pub statement: &'static str,
    pub kind: RCA0AxiomKind,
    pub is_valid: bool,
}

A tagged statement together with the RCA₀ axiom kind it falls under.

Fields

statement: &'static str

Human-readable description of the statement.

kind: RCA0AxiomKind

The axiom kind.

is_valid: bool

Whether this instance is valid (for illustrative purposes).

Implementations

impl RMA0System

pub fn verify(&self) -> bool

Verify that this is a valid RCA₀ axiom instance.

pub fn summary(&self) -> String

Return a human-readable summary.

pub fn sigma01_comprehension_for(predicate: &'static str) -> Self

Produce the standard Σ⁰_1-comprehension instance for a given predicate name.

Trait Implementations

impl Clone for RMA0System

fn clone(&self) -> RMA0System

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RMA0System

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

Formats the value using the given formatter.