sh-ast 0.3.1 → 0.4.0

package/generated/syntax-types.d.ts

@@ -0,0 +1,1977 @@
+// Code generated by tools/gen-visitor-keys from mvdan.cc/sh/v3 v3.13.1. DO NOT EDIT.
+// Faithful syntax values; see design/ARCHITECTURE.md.
+/*
+Copyright (c) 2016, Daniel Martí. All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are
+met:
+
+   * Redistributions of source code must retain the above copyright
+notice, this list of conditions and the following disclaimer.
+   * Redistributions in binary form must reproduce the above
+copyright notice, this list of conditions and the following disclaimer
+in the documentation and/or other materials provided with the
+distribution.
+   * Neither the name of the copyright holder nor the names of its
+contributors may be used to endorse or promote products derived from
+this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+*/
+
+import type {
+  BinAritOperator,
+  BinCmdOperator,
+  BinTestOperator,
+  CaseOperator,
+  GlobOperator,
+  ParExpOperator,
+  ParNamesOperator,
+  ProcOperator,
+  RedirOperator,
+  UnAritOperator,
+  UnTestOperator,
+} from './syntax-constants.js';
+
+/**
+ * A Go string's exact bytes. Valid UTF-8 is represented as a JavaScript string; other bytes use Uint8Array. String inputs must not contain unpaired surrogates, which have no faithful UTF-8 representation.
+ *
+ * @public
+ */
+export type GoString = string | Uint8Array;
+
+/**
+ * The observable value of an upstream syntax.Pos. Offset and Col count bytes; Line and Col use upstream numbering and overflow behavior. IsValid, IsRecovered, and OffsetOverflow retain distinctions that coordinates alone cannot express. Token positions are data; node bounds are derived operations.
+ *
+ * @public
+ */
+export interface SyntaxPos {
+  /**
+   * Zero-based source byte offset, including upstream saturation behavior.
+   */
+  Offset: number;
+  /**
+   * One-based source line; zero retains upstream invalid or overflow information.
+   */
+  Line: number;
+  /**
+   * One-based byte column; zero retains upstream invalid or overflow information.
+   */
+  Col: number;
+  /**
+   * Whether upstream considers this position useful; recovered positions are not valid.
+   */
+  IsValid: boolean;
+  /**
+   * Whether upstream synthesized this missing syntax position during error recovery.
+   */
+  IsRecovered: boolean;
+  /**
+   * Whether the stored upstream offset exceeds its representable source-offset maximum, including the recovered sentinel. This preserves ordering distinctions even when Offset() reports zero; ordinary zero-invalid positions have false here.
+   */
+  OffsetOverflow: boolean;
+}
+
+/**
+ * An upstream interface containing a nil pointer of a concrete syntax.Node kind. This differs from a nil interface (null): the concrete Go type remains observable and can affect operations. Only interface-valued positions admit this tag; concrete pointer fields use null. No record fields or node bounds are stored on the tag.
+ *
+ * @public
+ */
+export interface TypedNil<
+  ConcreteKind extends
+    | 'ArithmCmd'
+    | 'ArithmExp'
+    | 'ArrayElem'
+    | 'ArrayExpr'
+    | 'Assign'
+    | 'BinaryArithm'
+    | 'BinaryCmd'
+    | 'BinaryTest'
+    | 'Block'
+    | 'BraceExp'
+    | 'CStyleLoop'
+    | 'CallExpr'
+    | 'CaseClause'
+    | 'CaseItem'
+    | 'CmdSubst'
+    | 'Comment'
+    | 'CoprocClause'
+    | 'DblQuoted'
+    | 'DeclClause'
+    | 'ExtGlob'
+    | 'File'
+    | 'FlagsArithm'
+    | 'ForClause'
+    | 'FuncDecl'
+    | 'IfClause'
+    | 'LetClause'
+    | 'Lit'
+    | 'ParamExp'
+    | 'ParenArithm'
+    | 'ParenTest'
+    | 'ProcSubst'
+    | 'Redirect'
+    | 'SglQuoted'
+    | 'Stmt'
+    | 'Subshell'
+    | 'TestClause'
+    | 'TestDecl'
+    | 'TimeClause'
+    | 'UnaryArithm'
+    | 'UnaryTest'
+    | 'WhileClause'
+    | 'Word'
+    | 'WordIter',
+> {
+  /**
+   * Distinguishes a typed nil interface value from a concrete syntax record.
+   */
+  Type: 'TypedNil';
+  /**
+   * The concrete Go pointer type retained by the non-nil interface.
+   */
+  Kind: ConcreteKind;
+}
+
+/**
+ * ArithmCmd represents an arithmetic command.
+ *
+ * This node will only appear with `LangBash` and `LangMirBSDKorn`.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface ArithmCmd {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'ArithmCmd';
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Left: SyntaxPos;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Right: SyntaxPos;
+  /**
+   * mksh's ((# expr))
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  Unsigned: boolean;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  X: ArithmExpr | null;
+}
+
+/**
+ * ArithmExp represents an arithmetic expansion.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface ArithmExp {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'ArithmExp';
+  /**
+   * deprecated $`expr` form
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  Bracket: boolean;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Left: SyntaxPos;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Right: SyntaxPos;
+  /**
+   * mksh's $((# expr))
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  Unsigned: boolean;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  X: ArithmExpr | null;
+}
+
+/**
+ * ArrayElem represents a Bash array element.
+ *
+ * Index can be nil; for example, declare -a x=(value).
+ * Value can be nil; for example, declare -A x=(`index`=).
+ * Finally, neither can be nil; for example, declare -A x=(`index`=value)
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface ArrayElem {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'ArrayElem';
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array.
+   */
+  Comments: Comment[] | null;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  Index: ArithmExpr | null;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  Value: Word | null;
+}
+
+/**
+ * ArrayExpr represents a Bash array expression.
+ *
+ * This node will only appear with `LangBash`.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface ArrayExpr {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'ArrayExpr';
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Elems: (ArrayElem | null)[] | null;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array.
+   */
+  Last: Comment[] | null;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Lparen: SyntaxPos;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Rparen: SyntaxPos;
+}
+
+/**
+ * Assign represents an assignment to a variable.
+ *
+ * Here and elsewhere, Index can mean either an index expression into an indexed
+ * array, or a string key into an associative array.
+ *
+ * If Index is non-nil, the value will be a word and not an array as nested
+ * arrays are not allowed.
+ *
+ * If Naked is true and Name is nil, the assignment is part of a `DeclClause` and
+ * the argument (in the Value field) will be evaluated at run-time. This
+ * includes parameter expansions, which may expand to assignments or options.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface Assign {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'Assign';
+  /**
+   * +=
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  Append: boolean;
+  /**
+   * =(arr)
+   *
+   * Null preserves the upstream absence of this component.
+   */
+  Array: ArrayExpr | null;
+  /**
+   * `i`, ["k"]
+   *
+   * Null preserves the upstream absence of this component.
+   */
+  Index: ArithmExpr | null;
+  /**
+   * without '='
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  Naked: boolean;
+  /**
+   * must be a valid name
+   *
+   * Null preserves the upstream absence of this component.
+   */
+  Name: Lit | null;
+  /**
+   * =val
+   *
+   * Null preserves the upstream absence of this component.
+   */
+  Value: Word | null;
+}
+
+/**
+ * BinaryArithm represents a binary arithmetic expression.
+ *
+ * If Op is any assign operator, X will be a word with a single `Lit` whose value
+ * is a valid name.
+ *
+ * Ternary operators like "a ? b : c" are fit into this structure. Thus, if
+ * Op==`TernQuest`, Y will be a `BinaryArithm` with Op==`TernColon`.
+ * `TernColon` does not appear in any other scenario.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface BinaryArithm {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'BinaryArithm';
+  /**
+   * Upstream operator value, preserving named tokens, zero, and explicitly represented raw uint32 values.
+   */
+  Op: BinAritOperator;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  OpPos: SyntaxPos;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  X: ArithmExpr | null;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  Y: ArithmExpr | null;
+}
+
+/**
+ * BinaryCmd represents a binary expression between two statements.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface BinaryCmd {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'BinaryCmd';
+  /**
+   * Upstream operator value, preserving named tokens, zero, and explicitly represented raw uint32 values.
+   */
+  Op: BinCmdOperator;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  OpPos: SyntaxPos;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  X: Stmt | null;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  Y: Stmt | null;
+}
+
+/**
+ * BinaryTest represents a binary test expression.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface BinaryTest {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'BinaryTest';
+  /**
+   * Upstream operator value, preserving named tokens, zero, and explicitly represented raw uint32 values.
+   */
+  Op: BinTestOperator;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  OpPos: SyntaxPos;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  X: TestExpr | null;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  Y: TestExpr | null;
+}
+
+/**
+ * Block represents a series of commands that should be executed in a nested
+ * scope. It is essentially a list of statements within curly braces.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface Block {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'Block';
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array.
+   */
+  Last: Comment[] | null;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Lbrace: SyntaxPos;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Rbrace: SyntaxPos;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Stmts: (Stmt | null)[] | null;
+}
+
+/**
+ * BraceExp represents a Bash brace expression, such as "\{a,f\}" or "\{1..10\}".
+ *
+ * This node will only appear as a result of `SplitBraces`.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface BraceExp {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'BraceExp';
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Elems: (Word | null)[] | null;
+  /**
+   * \{x..y[..incr]\} instead of \{x,y[,...]\}
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  Sequence: boolean;
+}
+
+/**
+ * CStyleLoop represents the behavior of a for clause similar to the C
+ * language.
+ *
+ * This node will only appear with `LangBash`.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface CStyleLoop {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'CStyleLoop';
+  /**
+   * Init, Cond, Post can each be nil, if the for loop construct omits it.
+   *
+   * Null preserves the upstream absence of this component.
+   */
+  Cond: ArithmExpr | null;
+  /**
+   * Init, Cond, Post can each be nil, if the for loop construct omits it.
+   *
+   * Null preserves the upstream absence of this component.
+   */
+  Init: ArithmExpr | null;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Lparen: SyntaxPos;
+  /**
+   * Init, Cond, Post can each be nil, if the for loop construct omits it.
+   *
+   * Null preserves the upstream absence of this component.
+   */
+  Post: ArithmExpr | null;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Rparen: SyntaxPos;
+}
+
+/**
+ * CallExpr represents a command execution or function call, otherwise known as
+ * a "simple command".
+ *
+ * If Args is empty, Assigns apply to the shell environment. Otherwise, they are
+ * variables that cannot be arrays and which only apply to the call.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface CallExpr {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'CallExpr';
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Args: (Word | null)[] | null;
+  /**
+   * a=x b=y args
+   *
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Assigns: (Assign | null)[] | null;
+}
+
+/**
+ * CaseClause represents a case (switch) clause.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface CaseClause {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'CaseClause';
+  /**
+   * deprecated mksh form with braces instead of in/esac
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  Braces: boolean;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Case: SyntaxPos;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Esac: SyntaxPos;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  In: SyntaxPos;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Items: (CaseItem | null)[] | null;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array.
+   */
+  Last: Comment[] | null;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  Word: Word | null;
+}
+
+/**
+ * CaseItem represents a pattern list (case) within a `CaseClause`.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface CaseItem {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'CaseItem';
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array.
+   */
+  Comments: Comment[] | null;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array.
+   */
+  Last: Comment[] | null;
+  /**
+   * Upstream operator value, preserving named tokens, zero, and explicitly represented raw uint32 values.
+   */
+  Op: CaseOperator;
+  /**
+   * unset if it was finished by "esac"
+   *
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  OpPos: SyntaxPos;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Patterns: (Word | null)[] | null;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Stmts: (Stmt | null)[] | null;
+}
+
+/**
+ * CmdSubst represents a command substitution.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface CmdSubst {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'CmdSubst';
+  /**
+   * deprecated `foo`
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  Backquotes: boolean;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array.
+   */
+  Last: Comment[] | null;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Left: SyntaxPos;
+  /**
+   * mksh's $\{|foo;\}
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  ReplyVar: boolean;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Right: SyntaxPos;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Stmts: (Stmt | null)[] | null;
+  /**
+   * mksh's $\{ foo;\}
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  TempFile: boolean;
+}
+
+/**
+ * Comment represents a single comment on a single line.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface Comment {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'Comment';
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Hash: SyntaxPos;
+  /**
+   * Upstream string bytes; non-UTF-8 values remain bytes rather than replacement text.
+   */
+  Text: GoString;
+}
+
+/**
+ * CoprocClause represents a Bash coproc clause.
+ *
+ * This node will only appear with `LangBash`.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface CoprocClause {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'CoprocClause';
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Coproc: SyntaxPos;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  Name: Word | null;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  Stmt: Stmt | null;
+}
+
+/**
+ * DblQuoted represents a list of nodes within double quotes.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface DblQuoted {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'DblQuoted';
+  /**
+   * $""
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  Dollar: boolean;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Left: SyntaxPos;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Parts: (WordPart | null)[] | null;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Right: SyntaxPos;
+}
+
+/**
+ * DeclClause represents a Bash declare clause.
+ *
+ * Args can contain a mix of regular and naked assignments. The naked
+ * assignments can represent either options or variable names.
+ *
+ * This node will only appear with `LangBash`.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface DeclClause {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'DeclClause';
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Args: (Assign | null)[] | null;
+  /**
+   * Variant is one of "declare", "local", "export", "readonly",
+   * "typeset", or "nameref".
+   *
+   * Null preserves the upstream absence of this component.
+   */
+  Variant: Lit | null;
+}
+
+/**
+ * Expansion represents string manipulation in a `ParamExp` other than those
+ * covered by `Replace`.
+ *
+ * Auxiliary syntax data, not a syntax.Node; it has no independent source bounds.
+ *
+ * @public
+ */
+export interface Expansion {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'Expansion';
+  /**
+   * Upstream operator value, preserving named tokens, zero, and explicitly represented raw uint32 values.
+   */
+  Op: ParExpOperator;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  Word: Word | null;
+}
+
+/**
+ * ExtGlob represents a Bash extended globbing expression. Note that these are
+ * parsed independently of whether or not `shopt -s extglob` has been used,
+ * as the parser runs statically and independently of any interpreter.
+ *
+ * This node will only appear with `LangBash` and `LangMirBSDKorn`.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface ExtGlob {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'ExtGlob';
+  /**
+   * Upstream operator value, preserving named tokens, zero, and explicitly represented raw uint32 values.
+   */
+  Op: GlobOperator;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  OpPos: SyntaxPos;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  Pattern: Lit | null;
+}
+
+/**
+ * File represents a shell source file.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface File {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'File';
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array.
+   */
+  Last: Comment[] | null;
+  /**
+   * Upstream string bytes; non-UTF-8 values remain bytes rather than replacement text.
+   */
+  Name: GoString;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Stmts: (Stmt | null)[] | null;
+}
+
+/**
+ * FlagsArithm represents zsh subscript flags attached to an arithmetic expression,
+ * such as $\{array[(flags)expr]\}.
+ *
+ * This node will only appear with `LangZsh`.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface FlagsArithm {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'FlagsArithm';
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  Flags: Lit | null;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  X: ArithmExpr | null;
+}
+
+/**
+ * ForClause represents a for or a select clause. The latter is only present in
+ * Bash.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface ForClause {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'ForClause';
+  /**
+   * deprecated form with \{ \} instead of do/done
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  Braces: boolean;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Do: (Stmt | null)[] | null;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array.
+   */
+  DoLast: Comment[] | null;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  DoPos: SyntaxPos;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  DonePos: SyntaxPos;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  ForPos: SyntaxPos;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  Loop: Loop | null;
+  /**
+   * False is an explicit upstream value and is never omitted.
+   */
+  Select: boolean;
+}
+
+/**
+ * FuncDecl represents the declaration of a function.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface FuncDecl {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'FuncDecl';
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  Body: Stmt | null;
+  /**
+   * Only one of these is set at a time.
+   * Neither is set when declaring an anonymous func with `LangZsh`.
+   *
+   * Null preserves the upstream absence of this component.
+   */
+  Name: Lit | null;
+  /**
+   * When declaring many func names with `LangZsh`.
+   *
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Names: (Lit | null)[] | null;
+  /**
+   * with () parentheses, can only be false when RsrvWord==true
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  Parens: boolean;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Position: SyntaxPos;
+  /**
+   * non-posix "function f" style
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  RsrvWord: boolean;
+}
+
+/**
+ * IfClause represents an if statement.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface IfClause {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'IfClause';
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Cond: (Stmt | null)[] | null;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array.
+   */
+  CondLast: Comment[] | null;
+  /**
+   * if non-nil, an "elif" or an "else"
+   *
+   * Null preserves the upstream absence of this component.
+   */
+  Else: IfClause | null;
+  /**
+   * position of "fi", shared with .Else if non-nil
+   *
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  FiPos: SyntaxPos;
+  /**
+   * comments on the first "elif", "else", or "fi"
+   *
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array.
+   */
+  Last: Comment[] | null;
+  /**
+   * position of the starting "if", "elif", or "else" token
+   *
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Position: SyntaxPos;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Then: (Stmt | null)[] | null;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array.
+   */
+  ThenLast: Comment[] | null;
+  /**
+   * position of "then", empty if this is an "else"
+   *
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  ThenPos: SyntaxPos;
+}
+
+/**
+ * LetClause represents a Bash let clause.
+ *
+ * This node will only appear with `LangBash` and `LangMirBSDKorn`.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface LetClause {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'LetClause';
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Exprs: (ArithmExpr | null)[] | null;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Let: SyntaxPos;
+}
+
+/**
+ * Lit represents a string literal.
+ *
+ * Note that a parsed string literal may not appear as-is in the original source
+ * code, as it is possible to split literals by escaping newlines. The splitting
+ * is lost, but the end position is not.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface Lit {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'Lit';
+  /**
+   * Upstream string bytes; non-UTF-8 values remain bytes rather than replacement text.
+   */
+  Value: GoString;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  ValueEnd: SyntaxPos;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  ValuePos: SyntaxPos;
+}
+
+/**
+ * ParamExp represents a parameter expansion.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface ParamExp {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'ParamExp';
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Dollar: SyntaxPos;
+  /**
+   * Only one of these is set at a time.
+   * given how we've grown the number of booleans
+   * $\{!a\}
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  Excl: boolean;
+  /**
+   * $\{a:-b\}, $\{a#b\}, etc
+   *
+   * Null preserves the upstream absence of this component.
+   */
+  Exp: Expansion | null;
+  /**
+   * $\{(flags)a\} with `LangZsh`
+   *
+   * Null preserves the upstream absence of this component.
+   */
+  Flags: Lit | null;
+  /**
+   * $\{a`i`\}, $\{a["k"]\}, or a $\{a[i,j]\} slice with `LangZsh`
+   *
+   * Null preserves the upstream absence of this component.
+   */
+  Index: ArithmExpr | null;
+  /**
+   * $\{+a\} with `LangZsh`
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  IsSet: boolean;
+  /**
+   * $\{#a\}
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  Length: boolean;
+  /**
+   * Only one of these is set at a time.
+   * because it should be impossible for multiple to be set at once,
+   * and a flat structure like this takes up more space.
+   * $\{a:h2\} with `LangZsh`
+   *
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Modifiers: (Lit | null)[] | null;
+  /**
+   * $\{!prefix*\} or $\{!prefix\@\}
+   *
+   * Upstream operator value, preserving named tokens, zero, and explicitly represented raw uint32 values.
+   */
+  Names: ParNamesOperator;
+  /**
+   * A nested parameter expression in the form of `ParamExp` or `CmdSubst`,
+   * or either of those in a `DblQuoted`. Only possible with `LangZsh`.
+   *
+   * Null preserves the upstream absence of this component.
+   */
+  NestedParam: WordPart | null;
+  /**
+   * Only one of these is set at a time,
+   * or neither with `LangZsh` when the name is omitted.
+   * even if that would be mildly annoying to non-Zsh users.
+   *
+   * Null preserves the upstream absence of this component.
+   */
+  Param: Lit | null;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Rbrace: SyntaxPos;
+  /**
+   * $\{a/x/y\}
+   *
+   * Null preserves the upstream absence of this component.
+   */
+  Repl: Replace | null;
+  /**
+   * $a instead of $\{a\}
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  Short: boolean;
+  /**
+   * $\{a:x:y\}
+   *
+   * Null preserves the upstream absence of this component.
+   */
+  Slice: Slice | null;
+  /**
+   * mksh's $\{%a\}
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  Width: boolean;
+}
+
+/**
+ * ParenArithm represents an arithmetic expression within parentheses.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface ParenArithm {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'ParenArithm';
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Lparen: SyntaxPos;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Rparen: SyntaxPos;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  X: ArithmExpr | null;
+}
+
+/**
+ * ParenTest represents a test expression within parentheses.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface ParenTest {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'ParenTest';
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Lparen: SyntaxPos;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Rparen: SyntaxPos;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  X: TestExpr | null;
+}
+
+/**
+ * ProcSubst represents a Bash process substitution.
+ *
+ * This node will only appear with `LangBash`.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface ProcSubst {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'ProcSubst';
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array.
+   */
+  Last: Comment[] | null;
+  /**
+   * Upstream operator value, preserving named tokens, zero, and explicitly represented raw uint32 values.
+   */
+  Op: ProcOperator;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  OpPos: SyntaxPos;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Rparen: SyntaxPos;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Stmts: (Stmt | null)[] | null;
+}
+
+/**
+ * Redirect represents an input/output redirection.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface Redirect {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'Redirect';
+  /**
+   * here-document body
+   *
+   * Null preserves the upstream absence of this component.
+   */
+  Hdoc: Word | null;
+  /**
+   * fd\>, or \{varname\}\> in Bash
+   *
+   * Null preserves the upstream absence of this component.
+   */
+  N: Lit | null;
+  /**
+   * Upstream operator value, preserving named tokens, zero, and explicitly represented raw uint32 values.
+   */
+  Op: RedirOperator;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  OpPos: SyntaxPos;
+  /**
+   * \>word
+   *
+   * Null preserves the upstream absence of this component.
+   */
+  Word: Word | null;
+}
+
+/**
+ * Replace represents a search and replace expression inside a `ParamExp`.
+ *
+ * Auxiliary syntax data, not a syntax.Node; it has no independent source bounds.
+ *
+ * @public
+ */
+export interface Replace {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'Replace';
+  /**
+   * False is an explicit upstream value and is never omitted.
+   */
+  All: boolean;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  Orig: Word | null;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  With: Word | null;
+}
+
+/**
+ * SglQuoted represents a string within single quotes.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface SglQuoted {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'SglQuoted';
+  /**
+   * $''
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  Dollar: boolean;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Left: SyntaxPos;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Right: SyntaxPos;
+  /**
+   * Upstream string bytes; non-UTF-8 values remain bytes rather than replacement text.
+   */
+  Value: GoString;
+}
+
+/**
+ * Slice represents a character slicing expression inside a `ParamExp`.
+ *
+ * This node will only appear with `LangBash` and `LangMirBSDKorn`.
+ * `LangZsh` uses a `BinaryArithm` with `Comma` in `ParamExp.Index` instead.
+ *
+ * Auxiliary syntax data, not a syntax.Node; it has no independent source bounds.
+ *
+ * @public
+ */
+export interface Slice {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'Slice';
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  Length: ArithmExpr | null;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  Offset: ArithmExpr | null;
+}
+
+/**
+ * Stmt represents a statement, also known as a "complete command". It is
+ * compromised of a command and other components that may come before or after
+ * it.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface Stmt {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'Stmt';
+  /**
+   * stmt &
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  Background: boolean;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  Cmd: Command | null;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array.
+   */
+  Comments: Comment[] | null;
+  /**
+   * mksh's |&
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  Coprocess: boolean;
+  /**
+   * zsh's &| or &!
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  Disown: boolean;
+  /**
+   * ! stmt
+   *
+   * False is an explicit upstream value and is never omitted.
+   */
+  Negated: boolean;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Position: SyntaxPos;
+  /**
+   * stmt \>a \<b
+   *
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Redirs: (Redirect | null)[] | null;
+  /**
+   * position of ';', '&', or '|&', if any
+   *
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Semicolon: SyntaxPos;
+}
+
+/**
+ * Subshell represents a series of commands that should be executed in a nested
+ * shell environment.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface Subshell {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'Subshell';
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array.
+   */
+  Last: Comment[] | null;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Lparen: SyntaxPos;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Rparen: SyntaxPos;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Stmts: (Stmt | null)[] | null;
+}
+
+/**
+ * TestClause represents a Bash extended test clause.
+ *
+ * This node will only appear with `LangBash` and `LangMirBSDKorn`.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface TestClause {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'TestClause';
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Left: SyntaxPos;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Right: SyntaxPos;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  X: TestExpr | null;
+}
+
+/**
+ * TestDecl represents the declaration of a Bats test function.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface TestDecl {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'TestDecl';
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  Body: Stmt | null;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  Description: Word | null;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Position: SyntaxPos;
+}
+
+/**
+ * TimeClause represents a Bash time clause. PosixFormat corresponds to the -p
+ * flag.
+ *
+ * This node will only appear with `LangBash` and `LangMirBSDKorn`.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface TimeClause {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'TimeClause';
+  /**
+   * False is an explicit upstream value and is never omitted.
+   */
+  PosixFormat: boolean;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  Stmt: Stmt | null;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  Time: SyntaxPos;
+}
+
+/**
+ * UnaryArithm represents an unary arithmetic expression. The unary operator
+ * may come before or after the sub-expression.
+ *
+ * If Op is `Inc` or `Dec`, X will be a word with a single `Lit` whose value is a
+ * valid name.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface UnaryArithm {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'UnaryArithm';
+  /**
+   * Upstream operator value, preserving named tokens, zero, and explicitly represented raw uint32 values.
+   */
+  Op: UnAritOperator;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  OpPos: SyntaxPos;
+  /**
+   * False is an explicit upstream value and is never omitted.
+   */
+  Post: boolean;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  X: ArithmExpr | null;
+}
+
+/**
+ * UnaryTest represents a unary test expression. The unary operator may come
+ * before or after the sub-expression.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface UnaryTest {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'UnaryTest';
+  /**
+   * Upstream operator value, preserving named tokens, zero, and explicitly represented raw uint32 values.
+   */
+  Op: UnTestOperator;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  OpPos: SyntaxPos;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  X: TestExpr | null;
+}
+
+/**
+ * WhileClause represents a while or an until clause.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface WhileClause {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'WhileClause';
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Cond: (Stmt | null)[] | null;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array.
+   */
+  CondLast: Comment[] | null;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Do: (Stmt | null)[] | null;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array.
+   */
+  DoLast: Comment[] | null;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  DoPos: SyntaxPos;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  DonePos: SyntaxPos;
+  /**
+   * False is an explicit upstream value and is never omitted.
+   */
+  Until: boolean;
+  /**
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  WhilePos: SyntaxPos;
+}
+
+/**
+ * Word represents a shell word, containing one or more word parts contiguous to
+ * each other. The word is delimited by word boundaries, such as spaces,
+ * newlines, semicolons, or parentheses.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface Word {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'Word';
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Parts: (WordPart | null)[] | null;
+}
+
+/**
+ * WordIter represents the iteration of a variable over a series of words in a
+ * for clause. If InPos is an invalid position, the "in" token was missing, so
+ * the iteration is over the shell's positional parameters.
+ *
+ * A syntax node with mutable upstream fields. Its source bounds are derived from the current fields and children.
+ *
+ * @public
+ */
+export interface WordIter {
+  /**
+   * Identifies the upstream concrete record when carried through an interface union.
+   */
+  Type: 'WordIter';
+  /**
+   * position of "in"
+   *
+   * Recorded source position; invalid and recovered states remain distinct.
+   */
+  InPos: SyntaxPos;
+  /**
+   * Ordered upstream entries. Null preserves a nil slice and differs from an empty array. Null entries preserve nil elements.
+   */
+  Items: (Word | null)[] | null;
+  /**
+   * Null preserves the upstream absence of this component.
+   */
+  Name: Lit | null;
+}
+
+/**
+ * The concrete records and typed nil pointers accepted by upstream syntax.ArithmExpr. Typed nil kinds are limited to this interface's actual implementers; auxiliary records are excluded.
+ *
+ * @public
+ */
+export type ArithmExpr =
+  | BinaryArithm
+  | FlagsArithm
+  | ParenArithm
+  | UnaryArithm
+  | Word
+  | TypedNil<'BinaryArithm' | 'FlagsArithm' | 'ParenArithm' | 'UnaryArithm' | 'Word'>;
+
+/**
+ * The concrete records and typed nil pointers accepted by upstream syntax.Command. Typed nil kinds are limited to this interface's actual implementers; auxiliary records are excluded.
+ *
+ * @public
+ */
+export type Command =
+  | ArithmCmd
+  | BinaryCmd
+  | Block
+  | CallExpr
+  | CaseClause
+  | CoprocClause
+  | DeclClause
+  | ForClause
+  | FuncDecl
+  | IfClause
+  | LetClause
+  | Subshell
+  | TestClause
+  | TestDecl
+  | TimeClause
+  | WhileClause
+  | TypedNil<
+      | 'ArithmCmd'
+      | 'BinaryCmd'
+      | 'Block'
+      | 'CallExpr'
+      | 'CaseClause'
+      | 'CoprocClause'
+      | 'DeclClause'
+      | 'ForClause'
+      | 'FuncDecl'
+      | 'IfClause'
+      | 'LetClause'
+      | 'Subshell'
+      | 'TestClause'
+      | 'TestDecl'
+      | 'TimeClause'
+      | 'WhileClause'
+    >;
+
+/**
+ * The concrete records and typed nil pointers accepted by upstream syntax.Loop. Typed nil kinds are limited to this interface's actual implementers; auxiliary records are excluded.
+ *
+ * @public
+ */
+export type Loop = CStyleLoop | WordIter | TypedNil<'CStyleLoop' | 'WordIter'>;
+
+/**
+ * The concrete records and typed nil pointers accepted by upstream syntax.Node. Typed nil kinds are limited to this interface's actual implementers; auxiliary records are excluded.
+ *
+ * @public
+ */
+export type Node =
+  | ArithmCmd
+  | ArithmExp
+  | ArrayElem
+  | ArrayExpr
+  | Assign
+  | BinaryArithm
+  | BinaryCmd
+  | BinaryTest
+  | Block
+  | BraceExp
+  | CStyleLoop
+  | CallExpr
+  | CaseClause
+  | CaseItem
+  | CmdSubst
+  | Comment
+  | CoprocClause
+  | DblQuoted
+  | DeclClause
+  | ExtGlob
+  | File
+  | FlagsArithm
+  | ForClause
+  | FuncDecl
+  | IfClause
+  | LetClause
+  | Lit
+  | ParamExp
+  | ParenArithm
+  | ParenTest
+  | ProcSubst
+  | Redirect
+  | SglQuoted
+  | Stmt
+  | Subshell
+  | TestClause
+  | TestDecl
+  | TimeClause
+  | UnaryArithm
+  | UnaryTest
+  | WhileClause
+  | Word
+  | WordIter
+  | TypedNil<
+      | 'ArithmCmd'
+      | 'ArithmExp'
+      | 'ArrayElem'
+      | 'ArrayExpr'
+      | 'Assign'
+      | 'BinaryArithm'
+      | 'BinaryCmd'
+      | 'BinaryTest'
+      | 'Block'
+      | 'BraceExp'
+      | 'CStyleLoop'
+      | 'CallExpr'
+      | 'CaseClause'
+      | 'CaseItem'
+      | 'CmdSubst'
+      | 'Comment'
+      | 'CoprocClause'
+      | 'DblQuoted'
+      | 'DeclClause'
+      | 'ExtGlob'
+      | 'File'
+      | 'FlagsArithm'
+      | 'ForClause'
+      | 'FuncDecl'
+      | 'IfClause'
+      | 'LetClause'
+      | 'Lit'
+      | 'ParamExp'
+      | 'ParenArithm'
+      | 'ParenTest'
+      | 'ProcSubst'
+      | 'Redirect'
+      | 'SglQuoted'
+      | 'Stmt'
+      | 'Subshell'
+      | 'TestClause'
+      | 'TestDecl'
+      | 'TimeClause'
+      | 'UnaryArithm'
+      | 'UnaryTest'
+      | 'WhileClause'
+      | 'Word'
+      | 'WordIter'
+    >;
+
+/**
+ * The concrete records and typed nil pointers accepted by upstream syntax.TestExpr. Typed nil kinds are limited to this interface's actual implementers; auxiliary records are excluded.
+ *
+ * @public
+ */
+export type TestExpr =
+  | BinaryTest
+  | ParenTest
+  | UnaryTest
+  | Word
+  | TypedNil<'BinaryTest' | 'ParenTest' | 'UnaryTest' | 'Word'>;
+
+/**
+ * The concrete records and typed nil pointers accepted by upstream syntax.WordPart. Typed nil kinds are limited to this interface's actual implementers; auxiliary records are excluded.
+ *
+ * @public
+ */
+export type WordPart =
+  | ArithmExp
+  | BraceExp
+  | CmdSubst
+  | DblQuoted
+  | ExtGlob
+  | Lit
+  | ParamExp
+  | ProcSubst
+  | SglQuoted
+  | TypedNil<
+      | 'ArithmExp'
+      | 'BraceExp'
+      | 'CmdSubst'
+      | 'DblQuoted'
+      | 'ExtGlob'
+      | 'Lit'
+      | 'ParamExp'
+      | 'ProcSubst'
+      | 'SglQuoted'
+    >;