IsValidIdentifier returns true if the given string is a valid Alloy identifier.

New creates a new scanner to tokenize the provided input config.

SanitizeIdentifier will return the given string mutated into a valid Alloy identifier.

IncludeComments will cause comments to be returned as comment tokens.

Scanner holds the internal state for the tokenizer while processing configs.

ErrorHandler is invoked whenever there is an error.

Mode is a set of bitwise flags which control scanner behavior.