TLA+

@[reducible, inline]

abbrev TLAPlusLexer (α : Type) : Type

The type of lexers consuming characters of a string.

Equations

• TLAPlusLexer = Parser (ParseError PositionedSlice Char) PositionedSlice Char

@[reducible, inline]

abbrev TLAPlusParser (α : Type) : Type

The type of parser consuming located tokens.

Equations

• One or more equations did not get rendered due to their size.

PlusCal

@[reducible, inline]

abbrev PlusCalLexer (α : Type) : Type

Equations

• PlusCalLexer = Parser (ParseError PositionedSlice Char) PositionedSlice Char

@[reducible, inline]

abbrev PlusCalParser (α : Type) : Type

Equations

• One or more equations did not get rendered due to their size.