Enum smt2::syntax::token::Token

pub enum Token {
    EndOfFile,
    Begin,
    End,
    Ident(String),
    Litteral(Litteral),
}

Variants

EndOfFile

End of file token.

Begin

Opening parenthesis.

End

Closing parenthesis.

Ident(String)

Identifier.

Litteral(Litteral)

Litteral constant.

Implementations

impl Token

pub fn at(self, span: Span) -> Located<Token>

Trait Implementations

impl Clone for Token

fn clone(&self) -> Token

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Token

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

Formats the value using the given formatter.

impl Display for Token

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

Formats the value using the given formatter.

impl Eq for Token

impl PartialEq<Token> for Token

fn eq(&self, other: &Token) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Token) -> bool

This method tests for !=.

impl StructuralEq for Token

impl StructuralPartialEq for Token