Struct PeanoCtx 

pub struct PeanoCtx {
    pub type_name: String,
    pub zero_ctor: String,
    pub succ_ctor: String,
}

The canonical-Peano ADT (surface type + constructor names) whose Lean-Nat lift the un-translator inverts. Constructor names are DATA carried from the law’s declaration; the machinery keys on the Peano SHAPE, never on the names.

Fields

type_name: String

zero_ctor: String

succ_ctor: String

Trait Implementations

impl Clone for PeanoCtx

fn clone(&self) -> PeanoCtx

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PeanoCtx

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

Formats the value using the given formatter.