Enum AstNodeKind 

pub enum AstNodeKind {
    Var,
    Lam,
    Pi,
    App,
    Let,
    NatLit,
    StrLit,
    Sort,
    Hole,
    DefDecl,
    TheoremDecl,
    AxiomDecl,
}

A tag identifying the kind of an AST node.

Variants

Var

A variable or constant name.

Lam

A lambda expression.

Pi

A Pi / forall type.

App

An application.

Let

A let-expression.

NatLit

A natural-number literal.

StrLit

A string literal.

Sort

A sort (Prop/Type).

Hole

A hole _.

DefDecl

A def declaration.

TheoremDecl

A theorem declaration.

AxiomDecl

An axiom declaration.

Trait Implementations

impl Clone for AstNodeKind

fn clone(&self) -> AstNodeKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AstNodeKind

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

Formats the value using the given formatter.

impl Display for AstNodeKind

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

Formats the value using the given formatter.

impl Hash for AstNodeKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for AstNodeKind

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

impl Eq for AstNodeKind

impl StructuralPartialEq for AstNodeKind