Enum Tok 

pub enum Tok {
    Ident(String),
    Num(i64),
    Decimal(String),
    Str(String),
    Kw(Kw),
    Op(Op),
    Fair {
        strong: bool,
        subscript: String,
    },
    ModuleEnd,
    Separator,
    DefEq,
    LParen,
    RParen,
    LBrack,
    RBrack,
    LBrace,
    RBrace,
    LTup,
    RTup,
    Comma,
    Colon,
    ColonColon,
    Dot,
    Bang,
    At,
    Underscore,
    Prime,
    MapsTo,
    Arrow,
    Gets,
    Eof,
}

Variants

Ident(String)

Num(i64)

Decimal(String)

123.456, kept as written: TLA+ decimals are exact, and no binary floating-point type could hold one faithfully.

Str(String)

Kw(Kw)

Op(Op)

Fair

WF_vars / SF_vars, which lex as one word but mean an operator applied to a subscript.

Fields

strong: bool

subscript: String

ModuleEnd

Separator

DefEq

LParen

RParen

LBrack

RBrack

LBrace

RBrace

LTup

RTup

Comma

Colon

ColonColon

The :: of a labelled expression.

Dot

Bang

At

The @ of an EXCEPT update, standing for the value being replaced.

Underscore

Prime

MapsTo

Arrow

Gets

Eof

Trait Implementations

impl Clone for Tok

fn clone(&self) -> Tok

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Tok

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

Formats the value using the given formatter.

impl Eq for Tok

impl PartialEq for Tok

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Tok