Struct StdEntry 

pub struct StdEntry {
    pub name: &'static str,
    pub module: &'static str,
    pub description: &'static str,
    pub is_theorem: bool,
}

A record of a single OxiLean standard library theorem or definition that the elaborator knows about.

Fields

name: &'static str

Qualified name (e.g., Nat.add_comm).

module: &'static str

Which module this entry belongs to.

description: &'static str

Human-readable description.

is_theorem: bool

Whether this is a theorem (vs. a definition).

Trait Implementations

impl Clone for StdEntry

fn clone(&self) -> StdEntry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StdEntry

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

Formats the value using the given formatter.