@tslite/core 0.1.0 → 0.3.0

package/dist/index.d.ts

@@ -1,698 +1,5 @@
-type Node = NodeMap[keyof NodeMap];
-interface ExpressionMap {
-    ArrayExpression: ArrayExpression;
-    ArrowFunctionExpression: ArrowFunctionExpression;
-    AssignmentExpression: AssignmentExpression;
-    AwaitExpression: AwaitExpression;
-    BinaryExpression: BinaryExpression;
-    CallExpression: CallExpression;
-    ChainExpression: ChainExpression;
-    ConditionalExpression: ConditionalExpression;
-    FunctionExpression: FunctionExpression;
-    Identifier: Identifier;
-    JsonExpression: JsonExpression;
-    ImportExpression: ImportExpression;
-    Literal: Literal;
-    LogicalExpression: LogicalExpression;
-    MemberExpression: MemberExpression;
-    MetaProperty: MetaProperty;
-    NewExpression: NewExpression;
-    ObjectExpression: ObjectExpression;
-    SequenceExpression: SequenceExpression;
-    TaggedTemplateExpression: TaggedTemplateExpression;
-    TemplateLiteral: TemplateLiteral;
-    ThisExpression: ThisExpression;
-    UnaryExpression: UnaryExpression;
-    UpdateExpression: UpdateExpression;
-}
-interface NodeMap {
-    AssignmentProperty: AssignmentProperty;
-    CatchClause: CatchClause;
-    Expression: Expression;
-    Function: Function;
-    Identifier: Identifier;
-    Literal: Literal;
-    MethodDefinition: MethodDefinition;
-    Pattern: Pattern;
-    Program: Program;
-    Property: Property;
-    PropertyDefinition: PropertyDefinition;
-    SpreadElement: SpreadElement;
-    Statement: Statement;
-    SwitchCase: SwitchCase;
-    TemplateElement: TemplateElement;
-    VariableDeclarator: VariableDeclarator;
-    ImportDeclaration: ImportDeclaration;
-    ImportSpecifier: ImportSpecifier;
-    ImportDefaultSpecifier: ImportDefaultSpecifier;
-    ImportNamespaceSpecifier: ImportNamespaceSpecifier;
-}
-type Expression = ExpressionMap[keyof ExpressionMap];
-type Statement = ExpressionStatement | BlockStatement | EmptyStatement | DebuggerStatement | ReturnStatement | LabeledStatement | BreakStatement | ContinueStatement | IfStatement | SwitchStatement | ThrowStatement | TryStatement | WhileStatement | DoWhileStatement | ForStatement | ForInStatement | ForOfStatement | Declaration;
-type CallExpression = SimpleCallExpression | NewExpression;
-type ChainElement = SimpleCallExpression | MemberExpression;
-type Declaration = FunctionDeclaration | VariableDeclaration;
-type Function = ArrowFunctionExpression | FunctionDeclaration | FunctionExpression;
-/**
- * TSLite — a forma serializada da linguagem TSLite.
- *
- * JSON puro (dados estáticos) entremeado de ilhas executáveis marcadas com
- * `#ast`, cujo valor é o tipo do nó ESTree. É portável, serializável e
- * diffável: `encode()` produz, `decode()` consome, `printJson()` emite.
- */
-type TSLite = string | number | boolean | null | TSLite[] | TSLiteMarker | {
-    [key: string]: TSLite;
-};
-/** Ilha executável dentro do TSLite (o valor de `#ast` é o tipo do nó). */
-interface TSLiteMarker {
-    "#ast": string;
-    [prop: string]: unknown;
-}
-/**
- * SimpleNode — a forma de árvore simplificada produzida por `encode()`: um nó
- * ESTree com os campos falsy omitidos e cada `ObjectExpression` colapsado em
- * `JsonExpression` (cujo `body` é {@link TSLite}). Os tipos `Simple*` descrevem
- * cada variante; este é o agregador.
- */
-type SimpleNode = {
-    type: string;
-    [key: string]: any;
-};
-type Literal = SimpleLiteral | RegExpLiteral | BigIntLiteral;
-type Pattern = ArrayPattern | AssignmentPattern | Identifier | JsonExpression | MemberExpression | ObjectPattern | RestElement;
-type AssignmentOperator = "=" | "+=" | "-=" | "*=" | "/=" | "%=" | "**=" | "<<=" | ">>=" | ">>>=" | "|=" | "^=" | "&=" | "||=" | "&&=" | "??=";
-type BinaryOperator = "==" | "!=" | "===" | "!==" | "<" | "<=" | ">" | ">=" | "<<" | ">>" | ">>>" | "+" | "-" | "*" | "/" | "%" | "**" | "|" | "^" | "&" | "in" | "instanceof";
-type LogicalOperator = "||" | "&&" | "??";
-type UnaryOperator = "-" | "+" | "!" | "~" | "typeof" | "void" | "delete";
-type UpdateOperator = "++" | "--";
-interface ArrayExpression extends BaseExpression {
-    type: "ArrayExpression";
-    elements: Array<Expression | SpreadElement | null>;
-}
-interface ArrayPattern extends BasePattern {
-    type: "ArrayPattern";
-    elements: Array<Pattern | null>;
-}
-interface ArrowFunctionExpression extends BaseExpression, BaseFunction {
-    type: "ArrowFunctionExpression";
-    expression: boolean;
-    body: BlockStatement | Expression;
-}
-interface AssignmentExpression extends BaseExpression {
-    type: "AssignmentExpression";
-    operator: AssignmentOperator;
-    left: Pattern | MemberExpression;
-    right: Expression;
-}
-interface AssignmentPattern extends BasePattern {
-    type: "AssignmentPattern";
-    left: Pattern;
-    right: Expression;
-}
-interface AssignmentProperty extends Property {
-    value: Pattern;
-    kind: "init";
-    method: boolean;
-}
-interface AwaitExpression extends BaseExpression {
-    type: "AwaitExpression";
-    argument: Expression;
-}
-interface BaseCallExpression extends BaseExpression {
-    callee: Expression;
-    arguments: Array<Expression | SpreadElement>;
-}
-interface BaseDeclaration extends BaseStatement {
-}
-interface BaseExpression extends BaseNode {
-}
-interface BaseForXStatement extends BaseStatement {
-    left: VariableDeclaration | Pattern;
-    right: Expression;
-    body: Statement;
-}
-interface BaseFunction extends BaseNode {
-    params: Pattern[];
-    generator?: boolean | undefined;
-    async?: boolean | undefined;
-    body: BlockStatement | Expression;
-}
-interface BaseNode extends BaseNodeWithoutComments {
-    leadingComments?: Comment[] | undefined;
-    trailingComments?: Comment[] | undefined;
-}
-interface BaseNodeWithoutComments {
-    type: string;
-    loc?: SourceLocation | null | undefined;
-    range?: [number, number] | undefined;
-}
-interface BasePattern extends BaseNode {
-}
-interface BaseStatement extends BaseNode {
-}
-interface BigIntLiteral extends BaseNode, BaseExpression {
-    type: "Literal";
-    value?: bigint | null | undefined;
-    bigint: string;
-    raw?: string | undefined;
-}
-interface BinaryExpression extends BaseExpression {
-    type: "BinaryExpression";
-    operator: BinaryOperator;
-    left: Expression;
-    right: Expression;
-}
-interface BlockStatement extends BaseStatement {
-    type: "BlockStatement";
-    body: Statement[];
-    innerComments?: Comment[] | undefined;
-}
-interface BreakStatement extends BaseStatement {
-    type: "BreakStatement";
-    label?: Identifier | null | undefined;
-}
-interface CatchClause extends BaseNode {
-    type: "CatchClause";
-    param: Pattern | null;
-    body: BlockStatement;
-}
-interface ChainExpression extends BaseExpression {
-    type: "ChainExpression";
-    expression: ChainElement;
-}
-interface Comment extends BaseNodeWithoutComments {
-    type: "Line" | "Block";
-    value: string;
-}
-interface ConditionalExpression extends BaseExpression {
-    type: "ConditionalExpression";
-    test: Expression;
-    alternate: Expression;
-    consequent: Expression;
-}
-interface ContinueStatement extends BaseStatement {
-    type: "ContinueStatement";
-    label?: Identifier | null | undefined;
-}
-interface DebuggerStatement extends BaseStatement {
-    type: "DebuggerStatement";
-}
-interface Directive extends BaseNode {
-    type: "ExpressionStatement";
-    expression: Literal;
-    directive: string;
-}
-interface DoWhileStatement extends BaseStatement {
-    type: "DoWhileStatement";
-    body: Statement;
-    test: Expression;
-}
-interface EmptyStatement extends BaseStatement {
-    type: "EmptyStatement";
-}
-interface ExpressionStatement extends BaseStatement {
-    type: "ExpressionStatement";
-    expression: Expression;
-}
-interface ForInStatement extends BaseForXStatement {
-    type: "ForInStatement";
-}
-interface ForOfStatement extends BaseForXStatement {
-    type: "ForOfStatement";
-    await: boolean;
-}
-interface ForStatement extends BaseStatement {
-    type: "ForStatement";
-    init?: VariableDeclaration | Expression | null | undefined;
-    test?: Expression | null | undefined;
-    update?: Expression | null | undefined;
-    body: Statement;
-}
-interface FunctionDeclaration extends MaybeNamedFunctionDeclaration {
-    id: Identifier;
-}
-interface FunctionExpression extends BaseFunction, BaseExpression {
-    id?: Identifier | null | undefined;
-    type: "FunctionExpression";
-    body: BlockStatement;
-}
-interface Identifier extends BaseNode, BaseExpression, BasePattern {
-    type: "Identifier";
-    name: string;
-}
-interface IfStatement extends BaseStatement {
-    type: "IfStatement";
-    test: Expression;
-    consequent: Statement;
-    alternate?: Statement | null | undefined;
-}
-interface JsonExpression extends BaseNode, BaseExpression, BasePattern {
-    type: "JsonExpression";
-    body: TSLite;
-}
-interface LabeledStatement extends BaseStatement {
-    type: "LabeledStatement";
-    label: Identifier;
-    body: Statement;
-}
-interface LogicalExpression extends BaseExpression {
-    type: "LogicalExpression";
-    operator: LogicalOperator;
-    left: Expression;
-    right: Expression;
-}
-interface MaybeNamedFunctionDeclaration extends BaseFunction, BaseDeclaration {
-    type: "FunctionDeclaration";
-    id: Identifier | null;
-    body: BlockStatement;
-}
-interface MemberExpression extends BaseExpression, BasePattern {
-    type: "MemberExpression";
-    object: Expression;
-    property: Expression;
-    computed?: boolean;
-    optional?: boolean;
-}
-interface MetaProperty extends BaseExpression {
-    type: "MetaProperty";
-    meta: Identifier;
-    property: Identifier;
-}
-type ModuleDeclaration = ImportDeclaration;
-interface BaseModuleDeclaration extends BaseNode {
-}
-type ModuleSpecifier = ImportSpecifier | ImportDefaultSpecifier | ImportNamespaceSpecifier;
-interface BaseModuleSpecifier extends BaseNode {
-    local: Identifier;
-}
-interface MethodDefinition extends BaseNode {
-    type: "MethodDefinition";
-    key: Expression;
-    value: FunctionExpression;
-    kind: "constructor" | "method" | "get" | "set";
-    computed?: boolean;
-    static: boolean;
-}
-interface NewExpression extends BaseCallExpression {
-    type: "NewExpression";
-}
-interface ObjectExpression extends BaseExpression {
-    type: "ObjectExpression";
-    properties: Array<Property | SpreadElement>;
-}
-interface ObjectPattern extends BasePattern {
-    type: "ObjectPattern";
-    properties: Array<AssignmentProperty | RestElement>;
-}
-interface Position {
-    line: number;
-    column: number;
-}
-interface Program extends BaseNode {
-    type: "Program";
-    sourceType: "script" | "module";
-    body: Array<Directive | Statement | ModuleDeclaration>;
-    comments?: Comment[] | undefined;
-}
-interface Property extends BaseNode {
-    type: "Property";
-    key: Expression;
-    value: Expression | Pattern | AssignmentProperty;
-    kind: "init" | "get" | "set";
-    method?: boolean;
-    shorthand?: boolean;
-    computed?: boolean;
-}
-interface PropertyDefinition extends BaseNode {
-    type: "PropertyDefinition";
-    key: Expression;
-    value?: Expression | null | undefined;
-    computed?: boolean;
-    static: boolean;
-}
-interface RegExpLiteral extends BaseNode, BaseExpression {
-    type: "Literal";
-    value?: RegExp | null | undefined;
-    regex: {
-        pattern: string;
-        flags: string;
-    };
-    raw?: string | undefined;
-}
-interface RestElement extends BasePattern {
-    type: "RestElement";
-    argument: Pattern;
-}
-interface ReturnStatement extends BaseStatement {
-    type: "ReturnStatement";
-    argument?: Expression | null | undefined;
-}
-interface SequenceExpression extends BaseExpression {
-    type: "SequenceExpression";
-    expressions: Expression[];
-}
-interface SimpleCallExpression extends BaseCallExpression {
-    type: "CallExpression";
-    optional?: boolean;
-}
-interface SimpleLiteral extends BaseNode, BaseExpression {
-    type: "Literal";
-    value: string | boolean | number | null;
-    raw?: string | undefined;
-}
-interface SourceLocation {
-    source?: string | null | undefined;
-    start: Position;
-    end: Position;
-}
-interface SpreadElement extends BaseNode {
-    type: "SpreadElement";
-    argument: Expression;
-}
-interface SwitchCase extends BaseNode {
-    type: "SwitchCase";
-    test?: Expression | null | undefined;
-    consequent: Statement[];
-}
-interface SwitchStatement extends BaseStatement {
-    type: "SwitchStatement";
-    discriminant: Expression;
-    cases: SwitchCase[];
-}
-interface TaggedTemplateExpression extends BaseExpression {
-    type: "TaggedTemplateExpression";
-    tag: Expression;
-    quasi: TemplateLiteral;
-}
-interface TemplateElement extends BaseNode {
-    type: "TemplateElement";
-    tail: boolean;
-    value: {
-        cooked?: string | null | undefined;
-        raw: string;
-    };
-}
-interface TemplateLiteral extends BaseExpression {
-    type: "TemplateLiteral";
-    quasis: TemplateElement[];
-    expressions: Expression[];
-}
-interface ThisExpression extends BaseExpression {
-    type: "ThisExpression";
-}
-interface ThrowStatement extends BaseStatement {
-    type: "ThrowStatement";
-    argument: Expression;
-}
-interface TryStatement extends BaseStatement {
-    type: "TryStatement";
-    block: BlockStatement;
-    handler?: CatchClause | null | undefined;
-    finalizer?: BlockStatement | null | undefined;
-}
-interface UnaryExpression extends BaseExpression {
-    type: "UnaryExpression";
-    operator: UnaryOperator;
-    prefix: true;
-    argument: Expression;
-}
-interface UpdateExpression extends BaseExpression {
-    type: "UpdateExpression";
-    operator: UpdateOperator;
-    argument: Expression;
-    prefix: boolean;
-}
-interface VariableDeclaration extends BaseDeclaration {
-    type: "VariableDeclaration";
-    declarations: VariableDeclarator[];
-    kind: "var" | "let" | "const";
-}
-interface VariableDeclarator extends BaseNode {
-    type: "VariableDeclarator";
-    id: Pattern;
-    init?: Expression | null | undefined;
-}
-interface WhileStatement extends BaseStatement {
-    type: "WhileStatement";
-    test: Expression;
-    body: Statement;
-}
-interface ImportDeclaration extends BaseModuleDeclaration {
-    type: "ImportDeclaration";
-    specifiers: Array<ImportSpecifier | ImportDefaultSpecifier | ImportNamespaceSpecifier>;
-    source: Literal;
-}
-interface ImportSpecifier extends BaseModuleSpecifier {
-    type: "ImportSpecifier";
-    imported: Identifier;
-}
-interface ImportExpression extends BaseExpression {
-    type: "ImportExpression";
-    source: Expression;
-}
-interface ImportDefaultSpecifier extends BaseModuleSpecifier {
-    type: "ImportDefaultSpecifier";
-}
-interface ImportNamespaceSpecifier extends BaseModuleSpecifier {
-    type: "ImportNamespaceSpecifier";
-}
-type SimpleArrayExpression = Partial<ArrayExpression>;
-type SimpleArrayPattern = Partial<ArrayPattern>;
-type SimpleArrowFunctionExpression = Partial<ArrowFunctionExpression>;
-type SimpleAssignmentExpression = Partial<AssignmentExpression>;
-type SimpleAssignmentPattern = Partial<AssignmentPattern>;
-type SimpleAssignmentProperty = Partial<AssignmentProperty>;
-type SimpleAwaitExpression = Partial<AwaitExpression>;
-type SimpleBaseCallExpression = Partial<BaseCallExpression>;
-type SimpleBaseDeclaration = Partial<BaseDeclaration>;
-type SimpleBaseExpression = Partial<BaseExpression>;
-type SimpleBaseForXStatement = Partial<BaseForXStatement>;
-type SimpleBaseFunction = Partial<BaseFunction>;
-type SimpleBaseNode = Partial<BaseNode>;
-type SimpleBaseNodeWithoutComments = Partial<BaseNodeWithoutComments>;
-type SimpleBasePattern = Partial<BasePattern>;
-type SimpleBaseStatement = Partial<BaseStatement>;
-type SimpleBigIntLiteral = Partial<BigIntLiteral>;
-type SimpleBinaryExpression = Partial<BinaryExpression>;
-type SimpleBlockStatement = Partial<BlockStatement>;
-type SimpleBreakStatement = Partial<BreakStatement>;
-type SimpleCatchClause = Partial<CatchClause>;
-type SimpleChainExpression = Partial<ChainExpression>;
-type SimpleComment = Partial<Comment>;
-type SimpleConditionalExpression = Partial<ConditionalExpression>;
-type SimpleContinueStatement = Partial<ContinueStatement>;
-type SimpleDoWhileStatement = Partial<DoWhileStatement>;
-type SimpleEmptyStatement = Partial<EmptyStatement>;
-type SimpleExpressionStatement = Partial<ExpressionStatement>;
-type SimpleForInStatement = Partial<ForInStatement>;
-type SimpleForOfStatement = Partial<ForOfStatement>;
-type SimpleForStatement = Partial<ForStatement>;
-type SimpleFunctionDeclaration = Partial<FunctionDeclaration>;
-type SimpleFunctionExpression = Partial<FunctionExpression>;
-type SimpleIdentifier = Partial<Identifier>;
-type SimpleIfStatement = Partial<IfStatement>;
-type SimpleJsonExpression = Partial<JsonExpression>;
-type SimpleLabeledStatement = Partial<LabeledStatement>;
-type SimpleLogicalExpression = Partial<LogicalExpression>;
-type SimpleMemberExpression = Partial<MemberExpression>;
-type SimpleMethodDefinition = Partial<MethodDefinition>;
-type SimpleNewExpression = Partial<NewExpression>;
-type SimpleObjectExpression = Partial<ObjectExpression>;
-type SimpleObjectPattern = Partial<ObjectPattern>;
-type SimplePosition = Partial<Position>;
-type SimpleProgram = Partial<Program>;
-type SimpleProperty = Partial<Property>;
-type SimplePropertyDefinition = Partial<PropertyDefinition>;
-type SimpleRegExpLiteral = Partial<RegExpLiteral>;
-type SimpleRestElement = Partial<RestElement>;
-type SimpleReturnStatement = Partial<ReturnStatement>;
-type SimpleSequenceExpression = Partial<SequenceExpression>;
-type SimpleSimpleCallExpression = Partial<SimpleCallExpression>;
-type SimpleSimpleLiteral = Partial<SimpleLiteral>;
-type SimpleSourceLocation = Partial<SourceLocation>;
-type SimpleSpreadElement = Partial<SpreadElement>;
-type SimpleSwitchCase = Partial<SwitchCase>;
-type SimpleSwitchStatement = Partial<SwitchStatement>;
-type SimpleTemplateElement = Partial<TemplateElement>;
-type SimpleTemplateLiteral = Partial<TemplateLiteral>;
-type SimpleThisExpression = Partial<ThisExpression>;
-type SimpleThrowStatement = Partial<ThrowStatement>;
-type SimpleTryStatement = Partial<TryStatement>;
-type SimpleUnaryExpression = Partial<UnaryExpression>;
-type SimpleUpdateExpression = Partial<UpdateExpression>;
-type SimpleVariableDeclaration = Partial<VariableDeclaration>;
-type SimpleVariableDeclarator = Partial<VariableDeclarator>;
-type SimpleWhileStatement = Partial<WhileStatement>;
-
-type types_ArrayExpression = ArrayExpression;
-type types_ArrayPattern = ArrayPattern;
-type types_ArrowFunctionExpression = ArrowFunctionExpression;
-type types_AssignmentExpression = AssignmentExpression;
-type types_AssignmentOperator = AssignmentOperator;
-type types_AssignmentPattern = AssignmentPattern;
-type types_AssignmentProperty = AssignmentProperty;
-type types_AwaitExpression = AwaitExpression;
-type types_BaseCallExpression = BaseCallExpression;
-type types_BaseDeclaration = BaseDeclaration;
-type types_BaseExpression = BaseExpression;
-type types_BaseForXStatement = BaseForXStatement;
-type types_BaseFunction = BaseFunction;
-type types_BaseModuleDeclaration = BaseModuleDeclaration;
-type types_BaseModuleSpecifier = BaseModuleSpecifier;
-type types_BaseNode = BaseNode;
-type types_BaseNodeWithoutComments = BaseNodeWithoutComments;
-type types_BasePattern = BasePattern;
-type types_BaseStatement = BaseStatement;
-type types_BigIntLiteral = BigIntLiteral;
-type types_BinaryExpression = BinaryExpression;
-type types_BinaryOperator = BinaryOperator;
-type types_BlockStatement = BlockStatement;
-type types_BreakStatement = BreakStatement;
-type types_CallExpression = CallExpression;
-type types_CatchClause = CatchClause;
-type types_ChainElement = ChainElement;
-type types_ChainExpression = ChainExpression;
-type types_Comment = Comment;
-type types_ConditionalExpression = ConditionalExpression;
-type types_ContinueStatement = ContinueStatement;
-type types_DebuggerStatement = DebuggerStatement;
-type types_Declaration = Declaration;
-type types_Directive = Directive;
-type types_DoWhileStatement = DoWhileStatement;
-type types_EmptyStatement = EmptyStatement;
-type types_Expression = Expression;
-type types_ExpressionStatement = ExpressionStatement;
-type types_ForInStatement = ForInStatement;
-type types_ForOfStatement = ForOfStatement;
-type types_ForStatement = ForStatement;
-type types_Function = Function;
-type types_FunctionDeclaration = FunctionDeclaration;
-type types_FunctionExpression = FunctionExpression;
-type types_Identifier = Identifier;
-type types_IfStatement = IfStatement;
-type types_ImportDeclaration = ImportDeclaration;
-type types_ImportDefaultSpecifier = ImportDefaultSpecifier;
-type types_ImportExpression = ImportExpression;
-type types_ImportNamespaceSpecifier = ImportNamespaceSpecifier;
-type types_ImportSpecifier = ImportSpecifier;
-type types_JsonExpression = JsonExpression;
-type types_LabeledStatement = LabeledStatement;
-type types_Literal = Literal;
-type types_LogicalExpression = LogicalExpression;
-type types_LogicalOperator = LogicalOperator;
-type types_MaybeNamedFunctionDeclaration = MaybeNamedFunctionDeclaration;
-type types_MemberExpression = MemberExpression;
-type types_MetaProperty = MetaProperty;
-type types_MethodDefinition = MethodDefinition;
-type types_ModuleDeclaration = ModuleDeclaration;
-type types_ModuleSpecifier = ModuleSpecifier;
-type types_NewExpression = NewExpression;
-type types_Node = Node;
-type types_NodeMap = NodeMap;
-type types_ObjectExpression = ObjectExpression;
-type types_ObjectPattern = ObjectPattern;
-type types_Pattern = Pattern;
-type types_Position = Position;
-type types_Program = Program;
-type types_Property = Property;
-type types_PropertyDefinition = PropertyDefinition;
-type types_RegExpLiteral = RegExpLiteral;
-type types_RestElement = RestElement;
-type types_ReturnStatement = ReturnStatement;
-type types_SequenceExpression = SequenceExpression;
-type types_SimpleArrayExpression = SimpleArrayExpression;
-type types_SimpleArrayPattern = SimpleArrayPattern;
-type types_SimpleArrowFunctionExpression = SimpleArrowFunctionExpression;
-type types_SimpleAssignmentExpression = SimpleAssignmentExpression;
-type types_SimpleAssignmentPattern = SimpleAssignmentPattern;
-type types_SimpleAssignmentProperty = SimpleAssignmentProperty;
-type types_SimpleAwaitExpression = SimpleAwaitExpression;
-type types_SimpleBaseCallExpression = SimpleBaseCallExpression;
-type types_SimpleBaseDeclaration = SimpleBaseDeclaration;
-type types_SimpleBaseExpression = SimpleBaseExpression;
-type types_SimpleBaseForXStatement = SimpleBaseForXStatement;
-type types_SimpleBaseFunction = SimpleBaseFunction;
-type types_SimpleBaseNode = SimpleBaseNode;
-type types_SimpleBaseNodeWithoutComments = SimpleBaseNodeWithoutComments;
-type types_SimpleBasePattern = SimpleBasePattern;
-type types_SimpleBaseStatement = SimpleBaseStatement;
-type types_SimpleBigIntLiteral = SimpleBigIntLiteral;
-type types_SimpleBinaryExpression = SimpleBinaryExpression;
-type types_SimpleBlockStatement = SimpleBlockStatement;
-type types_SimpleBreakStatement = SimpleBreakStatement;
-type types_SimpleCallExpression = SimpleCallExpression;
-type types_SimpleCatchClause = SimpleCatchClause;
-type types_SimpleChainExpression = SimpleChainExpression;
-type types_SimpleComment = SimpleComment;
-type types_SimpleConditionalExpression = SimpleConditionalExpression;
-type types_SimpleContinueStatement = SimpleContinueStatement;
-type types_SimpleDoWhileStatement = SimpleDoWhileStatement;
-type types_SimpleEmptyStatement = SimpleEmptyStatement;
-type types_SimpleExpressionStatement = SimpleExpressionStatement;
-type types_SimpleForInStatement = SimpleForInStatement;
-type types_SimpleForOfStatement = SimpleForOfStatement;
-type types_SimpleForStatement = SimpleForStatement;
-type types_SimpleFunctionDeclaration = SimpleFunctionDeclaration;
-type types_SimpleFunctionExpression = SimpleFunctionExpression;
-type types_SimpleIdentifier = SimpleIdentifier;
-type types_SimpleIfStatement = SimpleIfStatement;
-type types_SimpleJsonExpression = SimpleJsonExpression;
-type types_SimpleLabeledStatement = SimpleLabeledStatement;
-type types_SimpleLiteral = SimpleLiteral;
-type types_SimpleLogicalExpression = SimpleLogicalExpression;
-type types_SimpleMemberExpression = SimpleMemberExpression;
-type types_SimpleMethodDefinition = SimpleMethodDefinition;
-type types_SimpleNewExpression = SimpleNewExpression;
-type types_SimpleNode = SimpleNode;
-type types_SimpleObjectExpression = SimpleObjectExpression;
-type types_SimpleObjectPattern = SimpleObjectPattern;
-type types_SimplePosition = SimplePosition;
-type types_SimpleProgram = SimpleProgram;
-type types_SimpleProperty = SimpleProperty;
-type types_SimplePropertyDefinition = SimplePropertyDefinition;
-type types_SimpleRegExpLiteral = SimpleRegExpLiteral;
-type types_SimpleRestElement = SimpleRestElement;
-type types_SimpleReturnStatement = SimpleReturnStatement;
-type types_SimpleSequenceExpression = SimpleSequenceExpression;
-type types_SimpleSimpleCallExpression = SimpleSimpleCallExpression;
-type types_SimpleSimpleLiteral = SimpleSimpleLiteral;
-type types_SimpleSourceLocation = SimpleSourceLocation;
-type types_SimpleSpreadElement = SimpleSpreadElement;
-type types_SimpleSwitchCase = SimpleSwitchCase;
-type types_SimpleSwitchStatement = SimpleSwitchStatement;
-type types_SimpleTemplateElement = SimpleTemplateElement;
-type types_SimpleTemplateLiteral = SimpleTemplateLiteral;
-type types_SimpleThisExpression = SimpleThisExpression;
-type types_SimpleThrowStatement = SimpleThrowStatement;
-type types_SimpleTryStatement = SimpleTryStatement;
-type types_SimpleUnaryExpression = SimpleUnaryExpression;
-type types_SimpleUpdateExpression = SimpleUpdateExpression;
-type types_SimpleVariableDeclaration = SimpleVariableDeclaration;
-type types_SimpleVariableDeclarator = SimpleVariableDeclarator;
-type types_SimpleWhileStatement = SimpleWhileStatement;
-type types_SourceLocation = SourceLocation;
-type types_SpreadElement = SpreadElement;
-type types_Statement = Statement;
-type types_SwitchCase = SwitchCase;
-type types_SwitchStatement = SwitchStatement;
-type types_TSLite = TSLite;
-type types_TSLiteMarker = TSLiteMarker;
-type types_TaggedTemplateExpression = TaggedTemplateExpression;
-type types_TemplateElement = TemplateElement;
-type types_TemplateLiteral = TemplateLiteral;
-type types_ThisExpression = ThisExpression;
-type types_ThrowStatement = ThrowStatement;
-type types_TryStatement = TryStatement;
-type types_UnaryExpression = UnaryExpression;
-type types_UnaryOperator = UnaryOperator;
-type types_UpdateExpression = UpdateExpression;
-type types_UpdateOperator = UpdateOperator;
-type types_VariableDeclaration = VariableDeclaration;
-type types_VariableDeclarator = VariableDeclarator;
-type types_WhileStatement = WhileStatement;
-declare namespace types {
-  export type { types_ArrayExpression as ArrayExpression, types_ArrayPattern as ArrayPattern, types_ArrowFunctionExpression as ArrowFunctionExpression, types_AssignmentExpression as AssignmentExpression, types_AssignmentOperator as AssignmentOperator, types_AssignmentPattern as AssignmentPattern, types_AssignmentProperty as AssignmentProperty, types_AwaitExpression as AwaitExpression, types_BaseCallExpression as BaseCallExpression, types_BaseDeclaration as BaseDeclaration, types_BaseExpression as BaseExpression, types_BaseForXStatement as BaseForXStatement, types_BaseFunction as BaseFunction, types_BaseModuleDeclaration as BaseModuleDeclaration, types_BaseModuleSpecifier as BaseModuleSpecifier, types_BaseNode as BaseNode, types_BaseNodeWithoutComments as BaseNodeWithoutComments, types_BasePattern as BasePattern, types_BaseStatement as BaseStatement, types_BigIntLiteral as BigIntLiteral, types_BinaryExpression as BinaryExpression, types_BinaryOperator as BinaryOperator, types_BlockStatement as BlockStatement, types_BreakStatement as BreakStatement, types_CallExpression as CallExpression, types_CatchClause as CatchClause, types_ChainElement as ChainElement, types_ChainExpression as ChainExpression, types_Comment as Comment, types_ConditionalExpression as ConditionalExpression, types_ContinueStatement as ContinueStatement, types_DebuggerStatement as DebuggerStatement, types_Declaration as Declaration, types_Directive as Directive, types_DoWhileStatement as DoWhileStatement, types_EmptyStatement as EmptyStatement, types_Expression as Expression, types_ExpressionStatement as ExpressionStatement, types_ForInStatement as ForInStatement, types_ForOfStatement as ForOfStatement, types_ForStatement as ForStatement, types_Function as Function, types_FunctionDeclaration as FunctionDeclaration, types_FunctionExpression as FunctionExpression, types_Identifier as Identifier, types_IfStatement as IfStatement, types_ImportDeclaration as ImportDeclaration, types_ImportDefaultSpecifier as ImportDefaultSpecifier, types_ImportExpression as ImportExpression, types_ImportNamespaceSpecifier as ImportNamespaceSpecifier, types_ImportSpecifier as ImportSpecifier, types_JsonExpression as JsonExpression, types_LabeledStatement as LabeledStatement, types_Literal as Literal, types_LogicalExpression as LogicalExpression, types_LogicalOperator as LogicalOperator, types_MaybeNamedFunctionDeclaration as MaybeNamedFunctionDeclaration, types_MemberExpression as MemberExpression, types_MetaProperty as MetaProperty, types_MethodDefinition as MethodDefinition, types_ModuleDeclaration as ModuleDeclaration, types_ModuleSpecifier as ModuleSpecifier, types_NewExpression as NewExpression, types_Node as Node, types_NodeMap as NodeMap, types_ObjectExpression as ObjectExpression, types_ObjectPattern as ObjectPattern, types_Pattern as Pattern, types_Position as Position, types_Program as Program, types_Property as Property, types_PropertyDefinition as PropertyDefinition, types_RegExpLiteral as RegExpLiteral, types_RestElement as RestElement, types_ReturnStatement as ReturnStatement, types_SequenceExpression as SequenceExpression, types_SimpleArrayExpression as SimpleArrayExpression, types_SimpleArrayPattern as SimpleArrayPattern, types_SimpleArrowFunctionExpression as SimpleArrowFunctionExpression, types_SimpleAssignmentExpression as SimpleAssignmentExpression, types_SimpleAssignmentPattern as SimpleAssignmentPattern, types_SimpleAssignmentProperty as SimpleAssignmentProperty, types_SimpleAwaitExpression as SimpleAwaitExpression, types_SimpleBaseCallExpression as SimpleBaseCallExpression, types_SimpleBaseDeclaration as SimpleBaseDeclaration, types_SimpleBaseExpression as SimpleBaseExpression, types_SimpleBaseForXStatement as SimpleBaseForXStatement, types_SimpleBaseFunction as SimpleBaseFunction, types_SimpleBaseNode as SimpleBaseNode, types_SimpleBaseNodeWithoutComments as SimpleBaseNodeWithoutComments, types_SimpleBasePattern as SimpleBasePattern, types_SimpleBaseStatement as SimpleBaseStatement, types_SimpleBigIntLiteral as SimpleBigIntLiteral, types_SimpleBinaryExpression as SimpleBinaryExpression, types_SimpleBlockStatement as SimpleBlockStatement, types_SimpleBreakStatement as SimpleBreakStatement, types_SimpleCallExpression as SimpleCallExpression, types_SimpleCatchClause as SimpleCatchClause, types_SimpleChainExpression as SimpleChainExpression, types_SimpleComment as SimpleComment, types_SimpleConditionalExpression as SimpleConditionalExpression, types_SimpleContinueStatement as SimpleContinueStatement, types_SimpleDoWhileStatement as SimpleDoWhileStatement, types_SimpleEmptyStatement as SimpleEmptyStatement, types_SimpleExpressionStatement as SimpleExpressionStatement, types_SimpleForInStatement as SimpleForInStatement, types_SimpleForOfStatement as SimpleForOfStatement, types_SimpleForStatement as SimpleForStatement, types_SimpleFunctionDeclaration as SimpleFunctionDeclaration, types_SimpleFunctionExpression as SimpleFunctionExpression, types_SimpleIdentifier as SimpleIdentifier, types_SimpleIfStatement as SimpleIfStatement, types_SimpleJsonExpression as SimpleJsonExpression, types_SimpleLabeledStatement as SimpleLabeledStatement, types_SimpleLiteral as SimpleLiteral, types_SimpleLogicalExpression as SimpleLogicalExpression, types_SimpleMemberExpression as SimpleMemberExpression, types_SimpleMethodDefinition as SimpleMethodDefinition, types_SimpleNewExpression as SimpleNewExpression, types_SimpleNode as SimpleNode, types_SimpleObjectExpression as SimpleObjectExpression, types_SimpleObjectPattern as SimpleObjectPattern, types_SimplePosition as SimplePosition, types_SimpleProgram as SimpleProgram, types_SimpleProperty as SimpleProperty, types_SimplePropertyDefinition as SimplePropertyDefinition, types_SimpleRegExpLiteral as SimpleRegExpLiteral, types_SimpleRestElement as SimpleRestElement, types_SimpleReturnStatement as SimpleReturnStatement, types_SimpleSequenceExpression as SimpleSequenceExpression, types_SimpleSimpleCallExpression as SimpleSimpleCallExpression, types_SimpleSimpleLiteral as SimpleSimpleLiteral, types_SimpleSourceLocation as SimpleSourceLocation, types_SimpleSpreadElement as SimpleSpreadElement, types_SimpleSwitchCase as SimpleSwitchCase, types_SimpleSwitchStatement as SimpleSwitchStatement, types_SimpleTemplateElement as SimpleTemplateElement, types_SimpleTemplateLiteral as SimpleTemplateLiteral, types_SimpleThisExpression as SimpleThisExpression, types_SimpleThrowStatement as SimpleThrowStatement, types_SimpleTryStatement as SimpleTryStatement, types_SimpleUnaryExpression as SimpleUnaryExpression, types_SimpleUpdateExpression as SimpleUpdateExpression, types_SimpleVariableDeclaration as SimpleVariableDeclaration, types_SimpleVariableDeclarator as SimpleVariableDeclarator, types_SimpleWhileStatement as SimpleWhileStatement, types_SourceLocation as SourceLocation, types_SpreadElement as SpreadElement, types_Statement as Statement, types_SwitchCase as SwitchCase, types_SwitchStatement as SwitchStatement, types_TSLite as TSLite, types_TSLiteMarker as TSLiteMarker, types_TaggedTemplateExpression as TaggedTemplateExpression, types_TemplateElement as TemplateElement, types_TemplateLiteral as TemplateLiteral, types_ThisExpression as ThisExpression, types_ThrowStatement as ThrowStatement, types_TryStatement as TryStatement, types_UnaryExpression as UnaryExpression, types_UnaryOperator as UnaryOperator, types_UpdateExpression as UpdateExpression, types_UpdateOperator as UpdateOperator, types_VariableDeclaration as VariableDeclaration, types_VariableDeclarator as VariableDeclarator, types_WhileStatement as WhileStatement };
-}
+import { B as BaseNode, A as ArrayExpression, N as Node, a as ArrayPattern, b as ArrowFunctionExpression, c as AssignmentExpression, d as AssignmentProperty, e as AwaitExpression, f as BinaryExpression, g as BlockStatement, h as BreakStatement, S as SimpleCallExpression, C as CatchClause, i as ChainExpression, j as ConditionalExpression, k as ContinueStatement, D as DoWhileStatement, E as EmptyStatement, l as ExpressionStatement, F as ForInStatement, m as ForOfStatement, n as ForStatement, o as FunctionDeclaration, p as FunctionExpression, I as Identifier, q as IfStatement, r as ImportDeclaration, s as ImportDefaultSpecifier, t as ImportNamespaceSpecifier, u as ImportSpecifier, J as JsonExpression, L as Literal, v as LogicalExpression, M as MemberExpression, w as NewExpression, O as ObjectExpression, x as ObjectPattern, P as Program, y as Property, R as ReturnStatement, z as SwitchCase, G as SwitchStatement, T as TemplateElement, H as TemplateLiteral, K as ThrowStatement, Q as TryStatement, U as UnaryExpression, V as UpdateExpression, W as VariableDeclaration, X as VariableDeclarator, Y as WhileStatement, Z as SpreadElement, _ as RestElement, $ as Directive, a0 as ModuleDeclaration, a1 as JSXElement, a2 as JSXFragment, a3 as CallExpression } from './index-CcVx_Zur.js';
+export { a4 as AssignmentOperator, a5 as AssignmentPattern, a6 as BaseCallExpression, a7 as BaseDeclaration, a8 as BaseExpression, a9 as BaseForXStatement, aa as BaseFunction, ab as BaseModuleDeclaration, ac as BaseModuleSpecifier, ad as BaseNodeWithoutComments, ae as BasePattern, af as BaseStatement, ag as BigIntLiteral, ah as BinaryOperator, ai as ChainElement, aj as Comment, ak as DebuggerStatement, al as Declaration, am as ExportDefaultDeclaration, an as ExportNamedDeclaration, ao as ExportSpecifier, ap as Expression, aq as Function, ar as ImportExpression, as as JSXAttribute, at as JSXChild, au as JSXClosingElement, av as JSXClosingFragment, aw as JSXEmptyExpression, ax as JSXExpressionContainer, ay as JSXIdentifier, az as JSXMemberExpression, aA as JSXNamespacedName, aB as JSXOpeningElement, aC as JSXOpeningFragment, aD as JSXSpreadAttribute, aE as JSXTagName, aF as JSXText, aG as LabeledStatement, aH as LogicalOperator, aI as MaybeNamedFunctionDeclaration, aJ as MetaProperty, aK as MethodDefinition, aL as ModuleSpecifier, aM as NodeMap, aN as Pattern, aO as Position, aP as PropertyDefinition, aQ as RegExpLiteral, aR as SequenceExpression, aS as SimpleArrayExpression, aT as SimpleArrayPattern, aU as SimpleArrowFunctionExpression, aV as SimpleAssignmentExpression, aW as SimpleAssignmentPattern, aX as SimpleAssignmentProperty, aY as SimpleAwaitExpression, aZ as SimpleBaseCallExpression, a_ as SimpleBaseDeclaration, a$ as SimpleBaseExpression, b0 as SimpleBaseForXStatement, b1 as SimpleBaseFunction, b2 as SimpleBaseNode, b3 as SimpleBaseNodeWithoutComments, b4 as SimpleBasePattern, b5 as SimpleBaseStatement, b6 as SimpleBigIntLiteral, b7 as SimpleBinaryExpression, b8 as SimpleBlockStatement, b9 as SimpleBreakStatement, ba as SimpleCatchClause, bb as SimpleChainExpression, bc as SimpleComment, bd as SimpleConditionalExpression, be as SimpleContinueStatement, bf as SimpleDoWhileStatement, bg as SimpleEmptyStatement, bh as SimpleExpressionStatement, bi as SimpleForInStatement, bj as SimpleForOfStatement, bk as SimpleForStatement, bl as SimpleFunctionDeclaration, bm as SimpleFunctionExpression, bn as SimpleIdentifier, bo as SimpleIfStatement, bp as SimpleJsonExpression, bq as SimpleLabeledStatement, br as SimpleLiteral, bs as SimpleLogicalExpression, bt as SimpleMemberExpression, bu as SimpleMethodDefinition, bv as SimpleNewExpression, bw as SimpleNode, bx as SimpleObjectExpression, by as SimpleObjectPattern, bz as SimplePosition, bA as SimpleProgram, bB as SimpleProperty, bC as SimplePropertyDefinition, bD as SimpleRegExpLiteral, bE as SimpleRestElement, bF as SimpleReturnStatement, bG as SimpleSequenceExpression, bH as SimpleSimpleCallExpression, bI as SimpleSimpleLiteral, bJ as SimpleSourceLocation, bK as SimpleSpreadElement, bL as SimpleSwitchCase, bM as SimpleSwitchStatement, bN as SimpleTemplateElement, bO as SimpleTemplateLiteral, bP as SimpleThisExpression, bQ as SimpleThrowStatement, bR as SimpleTryStatement, bS as SimpleUnaryExpression, bT as SimpleUpdateExpression, bU as SimpleVariableDeclaration, bV as SimpleVariableDeclarator, bW as SimpleWhileStatement, bX as SourceLocation, bY as Statement, bZ as TSLite, b_ as TSLiteMarker, b$ as TaggedTemplateExpression, c0 as ThisExpression, c1 as UnaryOperator, c2 as UpdateOperator, c3 as ast, c4 as fromAstMarker, c5 as json, c6 as jsonExpression, c7 as types } from './index-CcVx_Zur.js';
 
 /** Erro lançado pelo `@tslite/core`. */
 type CoreErrorCode = "invalid-ast-entry" | "missing-node-type" | "unknown-node-type";
@@ -720,7 +27,7 @@ declare const VALID_OBJECT_KEY: RegExp;
  *
  * Basicamente: Expressions + Program (para AST completo)
  */
-declare const VALID_AST_ENTRY_TYPES: readonly ["Identifier", "MemberExpression", "CallExpression", "ArrowFunctionExpression", "FunctionExpression", "BinaryExpression", "LogicalExpression", "UnaryExpression", "UpdateExpression", "ConditionalExpression", "AssignmentExpression", "NewExpression", "ArrayExpression", "ObjectExpression", "AwaitExpression", "TemplateLiteral", "TaggedTemplateExpression", "SequenceExpression", "ChainExpression", "Program"];
+declare const VALID_AST_ENTRY_TYPES: readonly ["Identifier", "MemberExpression", "CallExpression", "ArrowFunctionExpression", "FunctionExpression", "BinaryExpression", "LogicalExpression", "UnaryExpression", "UpdateExpression", "ConditionalExpression", "AssignmentExpression", "NewExpression", "ArrayExpression", "ObjectExpression", "AwaitExpression", "TemplateLiteral", "TaggedTemplateExpression", "SequenceExpression", "ChainExpression", "JSXElement", "JSXFragment", "Program"];
 type ValidAstEntryType = (typeof VALID_AST_ENTRY_TYPES)[number];
 /**
  * Verifica se um tipo é válido como ponto de entrada #ast
@@ -801,6 +108,20 @@ declare const VisitorKeys: {
     VariableDeclarator: string[];
     WhileStatement: string[];
     WithStatement: string[];
+    JSXElement: string[];
+    JSXFragment: string[];
+    JSXOpeningElement: string[];
+    JSXClosingElement: string[];
+    JSXOpeningFragment: never[];
+    JSXClosingFragment: never[];
+    JSXAttribute: string[];
+    JSXSpreadAttribute: string[];
+    JSXExpressionContainer: string[];
+    JSXEmptyExpression: never[];
+    JSXText: never[];
+    JSXIdentifier: never[];
+    JSXMemberExpression: string[];
+    JSXNamespacedName: string[];
 };
 declare const Precedence: {
     Sequence: number;
@@ -860,150 +181,6 @@ declare const BinaryPrecedence: {
     "**": number;
 };
 
-/**
- * Cria um marcador #ast para embedar AST em JSON.
- *
- * O formato usa #ast como o tipo do nó, sem wrapper body:
- * ```
- * { "#ast": "CallExpression", "callee": {...}, "arguments": [] }
- * ```
- *
- * @param node - Nó AST (deve ter propriedade `type`)
- * @returns Objeto com #ast marker pronto para JSON
- * @throws Se o tipo não for válido como entry point
- */
-declare const ast: (node: Node) => TSLiteMarker;
-/**
- * Converte um objeto com #ast marker de volta para nó AST com type.
- *
- * Útil quando você tem um objeto no formato TSLite e precisa usar como nó AST
- * normal (ex: passar como argumento).
- *
- * @param obj - Objeto com #ast marker
- * @returns Nó AST com type (ou o objeto original se não tiver #ast)
- *
- * @example
- * ```ts
- * const astMarked = { "#ast": "Identifier", name: "foo" };
- * const node = fromAstMarker(astMarked);
- * // { type: "Identifier", name: "foo" }
- * ```
- */
-declare const fromAstMarker: (obj: unknown) => unknown;
-declare const identifier: (name: string) => Identifier;
-declare const literal: (value: string | boolean | number | null | RegExp | bigint | undefined) => Literal;
-declare const arrayExpression: (elements: Array<Expression | SpreadElement | null>) => ArrayExpression;
-declare const objectExpression: (properties: Array<Property | SpreadElement>) => ObjectExpression;
-declare const property: (key: Expression, value: Expression | Pattern | AssignmentProperty, shorthand?: boolean, computed?: boolean) => Property;
-declare const spreadElement: (argument: Expression) => SpreadElement;
-declare const callExpression: (callee: Expression, args: Array<Expression | SpreadElement>, optional?: boolean) => SimpleCallExpression;
-declare const newExpression: (callee: Expression, args: Array<Expression | SpreadElement>) => NewExpression;
-declare const memberExpression: (object: Expression, property: Expression, computed?: boolean, optional?: boolean) => MemberExpression;
-declare const chainExpression: (expression: ChainElement) => ChainExpression;
-declare const binaryExpression: (operator: BinaryOperator, left: Expression, right: Expression) => BinaryExpression;
-declare const logicalExpression: (operator: LogicalOperator, left: Expression, right: Expression) => LogicalExpression;
-declare const unaryExpression: (operator: UnaryOperator, argument: Expression) => UnaryExpression;
-declare const updateExpression: (operator: UpdateOperator, argument: Expression, prefix?: boolean) => UpdateExpression;
-declare const assignmentExpression: (operator: AssignmentOperator, left: Pattern, right: Expression) => AssignmentExpression;
-declare const conditionalExpression: (test: Expression, consequent: Expression, alternate: Expression) => ConditionalExpression;
-declare const awaitExpression: (argument: Expression | null) => AwaitExpression;
-declare const templateElement: (value: {
-    cooked?: string | null | undefined;
-    raw: string;
-}, tail?: boolean) => TemplateElement;
-declare const templateLiteral: (quasis: TemplateElement[], expressions: Expression[]) => TemplateLiteral;
-declare const arrowFunctionExpression: (params: Pattern[], body: Expression | BlockStatement, async?: boolean, generator?: boolean) => ArrowFunctionExpression;
-declare const functionExpression: (id: Identifier | null | undefined, params: Pattern[], body: BlockStatement, async?: boolean, generator?: boolean) => FunctionExpression;
-declare const functionDeclaration: (id: Identifier, params: Pattern[], body: BlockStatement, generator?: boolean, async?: boolean) => FunctionDeclaration;
-declare const blockStatement: (body: Statement[]) => BlockStatement;
-declare const expressionStatement: (expression: Expression) => ExpressionStatement;
-declare const returnStatement: (argument: Expression | null | undefined) => ReturnStatement;
-declare const ifStatement: (test: Expression, consequent: Statement, alternate?: Statement | null | undefined) => IfStatement;
-declare const switchStatement: (discriminant: Expression, cases: SwitchCase[]) => SwitchStatement;
-declare const switchCase: (test: Expression | null | undefined, consequent: Statement[]) => SwitchCase;
-declare const throwStatement: (argument: Expression) => ThrowStatement;
-declare const tryStatement: (block: BlockStatement, handler: CatchClause | null | undefined, finalizer?: BlockStatement | null | undefined) => TryStatement;
-declare const catchClause: (param: Pattern | null, body: BlockStatement) => CatchClause;
-declare const breakStatement: (label?: Identifier | null) => BreakStatement;
-declare const continueStatement: (label?: Identifier | null) => ContinueStatement;
-declare const emptyStatement: () => EmptyStatement;
-declare const forStatement: (init: VariableDeclaration | Expression | null | undefined, test: Expression | null | undefined, update: Expression | null | undefined, body: Statement) => ForStatement;
-declare const forInStatement: (left: Pattern | VariableDeclaration, right: Expression, body: Statement) => ForInStatement;
-declare const forOfStatement: (left: Pattern | VariableDeclaration, right: Expression, body: Statement, _await?: boolean) => ForOfStatement;
-declare const whileStatement: (test: Expression, body: Statement) => WhileStatement;
-declare const doWhileStatement: (body: Statement, test: Expression) => DoWhileStatement;
-declare const variableDeclaration: (kind: "var" | "let" | "const", declarations: VariableDeclarator[]) => VariableDeclaration;
-declare const variableDeclarator: (id: Pattern, init?: Expression | null) => VariableDeclarator;
-declare const objectPattern: (properties: Array<AssignmentProperty | RestElement>) => ObjectPattern;
-declare const arrayPattern: (elements: Array<Pattern | null>) => ArrayPattern;
-declare const assignmentProperty: (key: Expression, value?: Pattern, shorthand?: boolean, computed?: boolean) => AssignmentProperty;
-declare const restElement: (argument: Pattern) => RestElement;
-declare const program: (body: Array<Directive | Statement | ModuleDeclaration>, sourceType?: "script" | "module") => Program;
-declare const jsonExpression: (body: TSLite) => JsonExpression;
-declare const importDeclaration: (specifiers: Array<ImportSpecifier | ImportDefaultSpecifier | ImportNamespaceSpecifier>, source: Literal) => ImportDeclaration;
-declare const importSpecifier: (imported: Identifier, local: Identifier) => ImportSpecifier;
-declare const importDefaultSpecifier: (local: Identifier) => ImportDefaultSpecifier;
-declare const importNamespaceSpecifier: (local: Identifier) => ImportNamespaceSpecifier;
-declare const json: (body: TSLite) => JsonExpression;
-
-declare const index$1_arrayExpression: typeof arrayExpression;
-declare const index$1_arrayPattern: typeof arrayPattern;
-declare const index$1_arrowFunctionExpression: typeof arrowFunctionExpression;
-declare const index$1_assignmentExpression: typeof assignmentExpression;
-declare const index$1_assignmentProperty: typeof assignmentProperty;
-declare const index$1_ast: typeof ast;
-declare const index$1_awaitExpression: typeof awaitExpression;
-declare const index$1_binaryExpression: typeof binaryExpression;
-declare const index$1_blockStatement: typeof blockStatement;
-declare const index$1_breakStatement: typeof breakStatement;
-declare const index$1_callExpression: typeof callExpression;
-declare const index$1_catchClause: typeof catchClause;
-declare const index$1_chainExpression: typeof chainExpression;
-declare const index$1_conditionalExpression: typeof conditionalExpression;
-declare const index$1_continueStatement: typeof continueStatement;
-declare const index$1_doWhileStatement: typeof doWhileStatement;
-declare const index$1_emptyStatement: typeof emptyStatement;
-declare const index$1_expressionStatement: typeof expressionStatement;
-declare const index$1_forInStatement: typeof forInStatement;
-declare const index$1_forOfStatement: typeof forOfStatement;
-declare const index$1_forStatement: typeof forStatement;
-declare const index$1_fromAstMarker: typeof fromAstMarker;
-declare const index$1_functionDeclaration: typeof functionDeclaration;
-declare const index$1_functionExpression: typeof functionExpression;
-declare const index$1_identifier: typeof identifier;
-declare const index$1_ifStatement: typeof ifStatement;
-declare const index$1_importDeclaration: typeof importDeclaration;
-declare const index$1_importDefaultSpecifier: typeof importDefaultSpecifier;
-declare const index$1_importNamespaceSpecifier: typeof importNamespaceSpecifier;
-declare const index$1_importSpecifier: typeof importSpecifier;
-declare const index$1_json: typeof json;
-declare const index$1_jsonExpression: typeof jsonExpression;
-declare const index$1_literal: typeof literal;
-declare const index$1_logicalExpression: typeof logicalExpression;
-declare const index$1_memberExpression: typeof memberExpression;
-declare const index$1_newExpression: typeof newExpression;
-declare const index$1_objectExpression: typeof objectExpression;
-declare const index$1_objectPattern: typeof objectPattern;
-declare const index$1_program: typeof program;
-declare const index$1_property: typeof property;
-declare const index$1_restElement: typeof restElement;
-declare const index$1_returnStatement: typeof returnStatement;
-declare const index$1_spreadElement: typeof spreadElement;
-declare const index$1_switchCase: typeof switchCase;
-declare const index$1_switchStatement: typeof switchStatement;
-declare const index$1_templateElement: typeof templateElement;
-declare const index$1_templateLiteral: typeof templateLiteral;
-declare const index$1_throwStatement: typeof throwStatement;
-declare const index$1_tryStatement: typeof tryStatement;
-declare const index$1_unaryExpression: typeof unaryExpression;
-declare const index$1_updateExpression: typeof updateExpression;
-declare const index$1_variableDeclaration: typeof variableDeclaration;
-declare const index$1_variableDeclarator: typeof variableDeclarator;
-declare const index$1_whileStatement: typeof whileStatement;
-declare namespace index$1 {
-  export { index$1_arrayExpression as arrayExpression, index$1_arrayPattern as arrayPattern, index$1_arrowFunctionExpression as arrowFunctionExpression, index$1_assignmentExpression as assignmentExpression, index$1_assignmentProperty as assignmentProperty, index$1_ast as ast, index$1_awaitExpression as awaitExpression, index$1_binaryExpression as binaryExpression, index$1_blockStatement as blockStatement, index$1_breakStatement as breakStatement, index$1_callExpression as callExpression, index$1_catchClause as catchClause, index$1_chainExpression as chainExpression, index$1_conditionalExpression as conditionalExpression, index$1_continueStatement as continueStatement, index$1_doWhileStatement as doWhileStatement, index$1_emptyStatement as emptyStatement, index$1_expressionStatement as expressionStatement, index$1_forInStatement as forInStatement, index$1_forOfStatement as forOfStatement, index$1_forStatement as forStatement, index$1_fromAstMarker as fromAstMarker, index$1_functionDeclaration as functionDeclaration, index$1_functionExpression as functionExpression, index$1_identifier as identifier, index$1_ifStatement as ifStatement, index$1_importDeclaration as importDeclaration, index$1_importDefaultSpecifier as importDefaultSpecifier, index$1_importNamespaceSpecifier as importNamespaceSpecifier, index$1_importSpecifier as importSpecifier, index$1_json as json, index$1_jsonExpression as jsonExpression, index$1_literal as literal, index$1_logicalExpression as logicalExpression, index$1_memberExpression as memberExpression, index$1_newExpression as newExpression, index$1_objectExpression as objectExpression, index$1_objectPattern as objectPattern, index$1_program as program, index$1_property as property, index$1_restElement as restElement, index$1_returnStatement as returnStatement, index$1_spreadElement as spreadElement, index$1_switchCase as switchCase, index$1_switchStatement as switchStatement, index$1_templateElement as templateElement, index$1_templateLiteral as templateLiteral, index$1_throwStatement as throwStatement, index$1_tryStatement as tryStatement, index$1_unaryExpression as unaryExpression, index$1_updateExpression as updateExpression, index$1_variableDeclaration as variableDeclaration, index$1_variableDeclarator as variableDeclarator, index$1_whileStatement as whileStatement };
-}
-
 declare const generateBuilders: (prefix?: string) => {
     build: (node: BaseNode, parent?: BaseNode) => any;
     buildFunction: (node: BaseNode) => string;
@@ -1189,6 +366,21 @@ declare function forEachChild(node: BaseNode, visit: (child: BaseNode, key: stri
 /** Os filhos diretos de `node`, na ordem da gramática. */
 declare function childrenOf(node: BaseNode): BaseNode[];
 
+/** Props → ObjectExpression, ou `null` se não há atributos. */
+/** Opções do desugar. */
+interface DesugarOptions {
+    /**
+     * Props de um elemento/fragment SEM atributos: `null` (convenção runtime do React,
+     * default) ou `{}` (objeto vazio). O **type-checker** usa `{}` porque o `tsc` trata
+     * "sem atributos" como objeto vazio — assim `<Card/>` (props obrigatória) erra por
+     * faltar prop, e `<div/>` (props opcionais) passa. O runtime (interpret/printer)
+     * mantém `null`.
+     */
+    emptyPropsAsObject?: boolean;
+}
+/** `<Foo a={1}>{c}</Foo>` → `createElement(Foo, { a: 1 }, c)` (shallow). */
+declare function desugarJSX(node: JSXElement | JSXFragment, opts?: DesugarOptions): CallExpression;
+
 /** Um nível de escopo léxico encadeado ao pai. */
 interface Scope<T> {
     readonly vars: Readonly<Record<string, T>>;
@@ -1212,4 +404,4 @@ declare function find<T = BaseNode>(node: any, match: (n: any) => boolean): T |
 declare function mutate<T = any>(node: T, match: (value: any) => boolean, modifier: (value: any) => any): T;
 declare function pick<T extends object, K extends keyof T>(obj: T, keys: K[]): Pick<T, K>;
 
-export { AST_MARKER, type ArrayExpression, type ArrayPattern, type ArrowFunctionExpression, type AssignmentExpression, type AssignmentOperator, type AssignmentPattern, type AssignmentProperty, type AwaitExpression, type BaseCallExpression, type BaseDeclaration, type BaseExpression, type BaseForXStatement, type BaseFunction, type BaseModuleDeclaration, type BaseModuleSpecifier, type BaseNode, type BaseNodeWithoutComments, type BasePattern, type BaseStatement, type BigIntLiteral, type BinaryExpression, type BinaryOperator, BinaryPrecedence, type BlockStatement, type BreakStatement, type CallExpression, type CatchClause, type ChainElement, type ChainExpression, type Comment, type ConditionalExpression, type ContinueStatement, type CoreErrorCode, type DebuggerStatement, type Declaration, type Directive, type DoWhileStatement, type EmptyStatement, type Expression, type ExpressionStatement, type ForInStatement, type ForOfStatement, type ForStatement, type Function, type FunctionDeclaration, type FunctionExpression, type Identifier, type IfStatement, type ImportDeclaration, type ImportDefaultSpecifier, type ImportExpression, type ImportNamespaceSpecifier, type ImportSpecifier, type JsonExpression, type LabeledStatement, type Literal, type LogicalExpression, type LogicalOperator, type MaybeNamedFunctionDeclaration, type MemberExpression, type MetaProperty, type MethodDefinition, Mock, type ModuleDeclaration, type ModuleSpecifier, type NewExpression, type Node, type NodeMap, type ObjectExpression, type ObjectPattern, type Pattern, type Position, Precedence, type Program, type Property, type PropertyDefinition, type RegExpLiteral, type RestElement, type ReturnStatement, type Scope, type SequenceExpression, type SimpleArrayExpression, type SimpleArrayPattern, type SimpleArrowFunctionExpression, type SimpleAssignmentExpression, type SimpleAssignmentPattern, type SimpleAssignmentProperty, type SimpleAwaitExpression, type SimpleBaseCallExpression, type SimpleBaseDeclaration, type SimpleBaseExpression, type SimpleBaseForXStatement, type SimpleBaseFunction, type SimpleBaseNode, type SimpleBaseNodeWithoutComments, type SimpleBasePattern, type SimpleBaseStatement, type SimpleBigIntLiteral, type SimpleBinaryExpression, type SimpleBlockStatement, type SimpleBreakStatement, type SimpleCallExpression, type SimpleCatchClause, type SimpleChainExpression, type SimpleComment, type SimpleConditionalExpression, type SimpleContinueStatement, type SimpleDoWhileStatement, type SimpleEmptyStatement, type SimpleExpressionStatement, type SimpleForInStatement, type SimpleForOfStatement, type SimpleForStatement, type SimpleFunctionDeclaration, type SimpleFunctionExpression, type SimpleIdentifier, type SimpleIfStatement, type SimpleJsonExpression, type SimpleLabeledStatement, type SimpleLiteral, type SimpleLogicalExpression, type SimpleMemberExpression, type SimpleMethodDefinition, type SimpleNewExpression, type SimpleNode, type SimpleObjectExpression, type SimpleObjectPattern, type SimplePosition, type SimpleProgram, type SimpleProperty, type SimplePropertyDefinition, type SimpleRegExpLiteral, type SimpleRestElement, type SimpleReturnStatement, type SimpleSequenceExpression, type SimpleSimpleCallExpression, type SimpleSimpleLiteral, type SimpleSourceLocation, type SimpleSpreadElement, type SimpleSwitchCase, type SimpleSwitchStatement, type SimpleTemplateElement, type SimpleTemplateLiteral, type SimpleThisExpression, type SimpleThrowStatement, type SimpleTryStatement, type SimpleUnaryExpression, type SimpleUpdateExpression, type SimpleVariableDeclaration, type SimpleVariableDeclarator, type SimpleWhileStatement, type SourceLocation, type SpreadElement, type Statement, type SwitchCase, type SwitchStatement, type TSLite, TSLiteError, type TSLiteMarker, type TaggedTemplateExpression, type TemplateElement, type TemplateLiteral, type ThisExpression, type ThrowStatement, type TryStatement, type UnaryExpression, type UnaryOperator, type UpdateExpression, type UpdateOperator, VALID_AST_ENTRY_TYPES, VALID_OBJECT_KEY, type ValidAstEntryType, type VariableDeclaration, type VariableDeclarator, VisitorKeys, type WhileStatement, ast, index$1 as builders, childScope, childrenOf, find, forEachChild, fromAstMarker, generateBuilders, index as guards, invalidAstEntryError, isObject, isValidAstEntryType, json, jsonExpression, lookup, mutate, pick, rootScope, types, visibleNames, walk };
+export { AST_MARKER, ArrayExpression, ArrayPattern, ArrowFunctionExpression, AssignmentExpression, AssignmentProperty, AwaitExpression, BaseNode, BinaryExpression, BinaryPrecedence, BlockStatement, BreakStatement, CallExpression, CatchClause, ChainExpression, ConditionalExpression, ContinueStatement, type CoreErrorCode, Directive, DoWhileStatement, EmptyStatement, ExpressionStatement, ForInStatement, ForOfStatement, ForStatement, FunctionDeclaration, FunctionExpression, Identifier, IfStatement, ImportDeclaration, ImportDefaultSpecifier, ImportNamespaceSpecifier, ImportSpecifier, JSXElement, JSXFragment, JsonExpression, Literal, LogicalExpression, MemberExpression, Mock, ModuleDeclaration, NewExpression, Node, ObjectExpression, ObjectPattern, Precedence, Program, Property, RestElement, ReturnStatement, type Scope, SimpleCallExpression, SpreadElement, SwitchCase, SwitchStatement, TSLiteError, TemplateElement, TemplateLiteral, ThrowStatement, TryStatement, UnaryExpression, UpdateExpression, VALID_AST_ENTRY_TYPES, VALID_OBJECT_KEY, type ValidAstEntryType, VariableDeclaration, VariableDeclarator, VisitorKeys, WhileStatement, childScope, childrenOf, desugarJSX, find, forEachChild, generateBuilders, index as guards, invalidAstEntryError, isObject, isValidAstEntryType, lookup, mutate, pick, rootScope, visibleNames, walk };