Enum SyncToken 

pub enum SyncToken {
    Semicolon,
    End,
    Declaration,
    RightBrace,
    RightParen,
    Eof,
}

Synchronization token for error recovery.

Variants

Semicolon

Semicolon ;

End

End keyword

Declaration

Declaration keyword (def, theorem, etc.)

RightBrace

Right brace }

RightParen

Right parenthesis )

Eof

End of file

Trait Implementations

impl Clone for SyncToken

fn clone(&self) -> SyncToken

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SyncToken

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

Formats the value using the given formatter.

impl PartialEq for SyncToken

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

impl Eq for SyncToken

impl StructuralPartialEq for SyncToken