Package-level declarations

Non-empty brace syntax such as {a, b}.

One full-stop-terminated Prolog expression in a theory or parse session.

A Prolog term or operator expression that may occur as an operand.

Non-empty list syntax such as [a, b | Tail].

Semantic family of a parsed numeric literal.

Parsed numeric literal with its lexical and normalized components.

Prefix, infix, or postfix operator application resolved against an operator table.

Syntactic role selected for one operator occurrence.

Resolved interpretation of one operator token.

Expression explicitly enclosed in parentheses.

Context-sensitive role assigned to a significant token by the parser.

Parser-derived semantic annotation for one significant token.

Syntactic spelling used to produce a StructureNode.

Atom, compound structure, or structurally special zero-arity term.

Stable structural category of a SyntaxNode.

Base element of the immutable concrete syntax tree.

Visitor for transforming or inspecting the typed concrete syntax tree.

Immutable concrete syntax result with a self-contained source and token snapshot.

An atomic or structurally delimited expression, excluding implicit operator applications.

Complete input parsed as an ordered, possibly empty collection of clauses.

Parsed named or anonymous Prolog variable.