NewBlock returns a new Block with the given name and label.

NewExpr creates a new Expr.

NewFile creates a new File.

A Block encapsulates a body within a named and labeled Alloy block.

Body is a list of block and attribute statements.

An Expr represents a single Alloy expression.

A File represents an Alloy configuration file.

A Token is a wrapper around token.Token which contains the token type alongside its literal.

Tokenizer is any value which can return a raw set of tokens.