Struct AxiomBlock 

pub struct AxiomBlock {
    pub name: String,
    pub formula: String,
}

A ## Axiom block: a named first-order axiom in formal notation.

## Axiom flip: for all a b, Cong(a, b, b, a). registers flip as a shared premise available to every later theorem in the program — the seam for an axiomatic base like Tarski geometry.

Fields

name: String

The axiom’s name (flip), for citation and diagnostics.

formula: String

The axiom formula as surface text, parsed downstream by the formal-formula parser.

Trait Implementations

impl Clone for AxiomBlock

fn clone(&self) -> AxiomBlock

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AxiomBlock

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

Formats the value using the given formatter.

impl PartialEq for AxiomBlock

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

impl StructuralPartialEq for AxiomBlock