Package builder exposes an API to create an Alloy configuration file by constructing a set of tokens.

Lookup maps a string to its keyword token or IDENT if it's not a keyword.

NewFile creates a new File for storing position information.

+.

&&.

=.

true.

,.

// Hello, world!.

/.

.

End-of-file.

==.

1234.0.

>.

>=.

Levels of precedence for operator tokens.

foobar.

Invalid token.

[.

{.

Literal text.

non-operators.

(.

<.

<=.

%.

*.

!=.

!.

null.

1234.

||.

^.

].

}.

).

"foobar".

-.

\n.

Levels of precedence for operator tokens.

NoPos is the zero value for Pos.

File holds position information for a specific file.

Pos is a compact representation of a position within a file.

Position holds full position information for a location within an individual file.

Token is an individual Alloy lexical token.