@stevenvo780/st-lang 1.5.7 → 2.0.0

package/README.md

@@ -4,43 +4,44 @@
   <img src="https://raw.githubusercontent.com/stevenvo780/ST/main/logo.png" alt="ST Logo" width="200" style="border-radius: 50%"/>
 </p>
 
-**ST** is a high-performance, modular logical environment and executable language. It is designed for formalizing, verifying, and exploring logical theories across multiple systems (Classical, Modal, Paraconsistent), bridging the gap between natural language documents and formal logic via its unique **Text Layer**.
+**ST** es un lenguaje ejecutable para lógica, argumentación y formalización documental.
+Combina verificación formal, scripting declarativo, control de flujo, funciones, perfiles lógicos múltiples y una **Text Layer** para conectar fórmulas con texto humano real.
 
-[![Version](https://img.shields.io/badge/version-1.5.1-blue.svg)](package.json)
+[![Version](https://img.shields.io/badge/version-1.5.8-blue.svg)](package.json)
 [![License](https://img.shields.io/badge/license-MIT-green.svg)](LICENSE)
 [![Build Status](https://img.shields.io/badge/build-passing-brightgreen.svg)]()
 
 ---
 
-## 📥 Direct Downloads (Linux)
+## ¿Qué hace diferente a ST?
 
-Install the interpreter directly on your Linux distribution using our pre-compiled packages:
-
-| Distribution | Package | Command |
-|--------------|---------|---------|
-| **Debian / Ubuntu** | [⬇️ .deb](https://github.com/stevenvo780/ST/releases/latest/download/st-lang_1.5.1_amd64.deb) | `sudo dpkg -i st-lang_*.deb` |
-| **Fedora / RHEL** | [⬇️ .rpm](https://github.com/stevenvo780/ST/releases/latest/download/st-lang-1.5.1-1.x86_64.rpm) | `sudo rpm -i st-lang-*.rpm` |
-| **Generic Linux** | [⬇️ Binary](https://github.com/stevenvo780/ST/releases/latest/download/st) | `chmod +x st && sudo mv st /usr/local/bin/` |
+- **Lógica ejecutable**: no solo declaras axiomas; también ejecutas verificaciones, derivaciones, análisis y explicaciones.
+- **Mini-lenguaje pedagógico**: `let`, `set`, `print`, `if`, `for`, `while`, `fn`, `return`, `theory`, `import`.
+- **Múltiples perfiles**: proposicional clásica, primer orden, modal, deóntica, epistémica, intuicionista, temporal, probabilística, aristotélica, paraconsistente y aritmética.
+- **Text Layer**: vincula pasajes de documentos con formalizaciones y claims verificables.
+- **CLI + API + protocolo**: usable desde terminal, REPL, TypeScript/JavaScript y editores.
+- **Alias en español**: el lenguaje acepta tanto sintaxis en inglés como en español.
 
 ---
 
-## 🚀 Key Features
+## Instalación
 
-- **🛡️ Multi-Logic Support**: Pluggable profiles for Classical Propositional, First-Order, Modal (K), and Paraconsistent (Belnap) logic.
-- **🤖 Automated Reasoning**: Built-in engines for automated derivations, truth tables, and countermodel generation.
-- **📝 Text Layer**: Map logical claims directly to document anchors (e.g., `file.md#heading`), enabling formal verification of "live" documents.
-- **💻 Interactive REPL**: A powerful CLI to explore theories in real-time with syntax highlighting and autocompletion.
-- **🔌 Programmatic API**: Full TypeScript/JavaScript support to integrate logical verification into your own applications.
-- **🛠️ Editor Integration**: Protocol-ready for high-level features like hover, go-to-definition, and symbols.
+### Descarga directa en Linux
 
-## 📦 Alternative Installation
+| Distribución | Paquete | Comando |
+|--------------|---------|---------|
+| **Debian / Ubuntu** | [⬇️ `.deb`](https://github.com/stevenvo780/ST/releases/latest/download/st-lang_1.5.8_amd64.deb) | `sudo dpkg -i st-lang_*.deb` |
+| **Fedora / RHEL** | [⬇️ `.rpm`](https://github.com/stevenvo780/ST/releases/latest/download/st-lang-1.5.8-1.x86_64.rpm) | `sudo rpm -i st-lang-*.rpm` |
+| **Linux genérico** | [⬇️ binario](https://github.com/stevenvo780/ST/releases/latest/download/st) | `chmod +x st && sudo mv st /usr/local/bin/` |
+
+### Con npm
 
-### Using NPM (Cross-platform)
 ```bash
 npm install -g @stevenvo780/st-lang
 ```
 
-### From Source
+### Desde el código fuente
+
 ```bash
 git clone https://github.com/stevenvo780/ST.git
 cd ST
@@ -49,96 +50,372 @@ npm run build
 npm link
 ```
 
-## 🛠️ Quick Start (CLI)
+---
+
+## Inicio rápido
 
-1. Create a file named `theory.st`:
+### 1) Tu primer archivo `theory.st`
 
 ```st
 logic classical.propositional
 
-// Define axioms
-axiom a1 : P -> Q
-axiom a2 : P
+let regla = P -> Q
+let hecho = P
 
-// Perform logical operations
-derive Q from {a1, a2}
+derive Q from {regla, hecho}
 check valid (P | !P)
+countermodel (P -> Q)
 ```
 
-2. Run it:
+### 2) Ejecútalo
 
 ```bash
 st theory.st
 ```
 
-3. Or enter the **REPL**:
+### 3) Revisa perfiles disponibles
+
+```bash
+st profiles
+```
+
+### 4) Entra al REPL
+
+```bash
+st repl
+```
+
+---
+
+## Ejemplo paso a paso: variables, `if`, funciones y análisis
+
+```st
+logic classical.propositional
+
+print "=== demo guiada ==="
+
+let regla = "Si estudio, apruebo" : (E -> A)
+let hecho = "Estudio hoy" : E
+
+derive A from {regla, hecho}
+analyze {E, E -> A} -> A
+explain (E -> A)
+
+if valid (P | !P) {
+  print "tautología detectada"
+} else {
+  print "esto no debería ocurrir en clásica"
+}
+
+for Caso in { P, Q, (R -> R) } {
+  print Caso
+}
+
+set estado = P
+while satisfiable estado {
+  print "iteración del while"
+  set estado = P & !P
+}
+
+fn revisar(X) {
+  print "revisando"
+  print X
+  check satisfiable X
+  return X
+}
+
+revisar((P -> Q))
+```
+
+### Qué muestra este ejemplo
+
+1. `let` define aliases lógicos y además los deja disponibles para derivaciones.
+2. `analyze` evalúa si una inferencia es válida y detecta falacias conocidas.
+3. `explain` devuelve una explicación del perfil activo sobre la fórmula.
+4. `if valid|invalid|satisfiable|unsatisfiable` permite ramificar lógica del script.
+5. `for` recorre una lista de fórmulas.
+6. `while` reevalúa una condición lógica en cada iteración.
+7. `fn` agrupa pasos reutilizables; `return` corta la ejecución del cuerpo.
+
+> Nota: hoy `return` sirve para cortar la función y preservar un valor interno para futuras extensiones, pero las llamadas a función todavía se usan como sentencia, no como expresión anidable.
+
+---
+
+## Sintaxis principal de ST
+
+### Núcleo lógico
+
+```st
+logic classical.propositional
+axiom a1 : P -> Q
+theorem t1 : (P -> P)
+derive Q from {a1, a2}
+prove (P -> P)
+check valid (P | !P)
+check satisfiable (P & Q)
+check equivalent (!(P & Q)), (!P | !Q)
+truth_table (P -> Q)
+countermodel (P -> Q)
+```
+
+### Variables y scripting
+
+```st
+let phi = (P -> Q)
+set phi = (Q -> R)
+print phi
+
+if satisfiable phi {
+  print "hay modelo"
+}
+
+for X in {P, Q, R} {
+  print X
+}
+
+while invalid phi {
+  set phi = (P -> P)
+}
+
+fn verificar(X) {
+  check valid X
+}
+
+verificar((P -> P))
+```
+
+### Text Layer
+
+```st
+let p = passage([[contrato.md#clausula-1]])
+let f = formalize p as (P -> Q)
+claim c1 = f
+support c1 <- p
+confidence c1 = 0.92
+context c1 = "Interpretación jurídica conservadora"
+render claims
+```
+
+### Pruebas estructuradas y teorías
+
+```st
+assume h1 : P -> Q
+assume h2 : P
+show Q
+derive Q from {h1, h2}
+qed
+
+theory Base {
+  let alias = P -> Q
+  private let secreto = R & S
+  axiom regla : P -> Q
+}
+
+print Base.alias
+```
+
+---
+
+## Alias en español
+
+ST acepta las dos familias de keywords. Ejemplos:
+
+| Inglés | Español |
+|--------|---------|
+| `logic` | `logica` |
+| `axiom` | `axioma` |
+| `derive` | `derivar` |
+| `from` | `desde` |
+| `check valid` | `verificar valido` |
+| `check satisfiable` | `verificar satisfacible` |
+| `countermodel` | `contramodelo` |
+| `truth_table` | `tabla_verdad` |
+| `analyze` | `analizar` |
+| `explain` | `explicar` |
+| `import` | `importar` |
+| `theory` | `teoria` |
+| `if` | `si` |
+| `else` | `sino` |
+| `for` | `para` |
+| `while` | `mientras` |
+| `fn` | `funcion` |
+| `return` | `retornar` |
+
+---
+
+## Perfiles incorporados
+
+ST registra automáticamente estos perfiles:
+
+- `classical.propositional`
+- `classical.first_order`
+- `modal.k`
+- `paraconsistent.belnap`
+- `deontic.standard`
+- `epistemic.s5`
+- `aristotelian.syllogistic`
+- `intuitionistic.propositional`
+- `temporal.ltl`
+- `probabilistic.basic`
+- `arithmetic`
+
+### Operadores destacados por perfil
+
+- **Proposicional clásica**: `!`, `&`, `|`, `->`, `<->`
+- **Primer orden**: `forall`, `exists`, `P(x)`, igualdad `x = y`
+- **Modal / deóntica / epistémica**: `[]`, `<>`
+- **Temporal**: `next`, `until`
+- **Aritmética**: `+`, `-`, `*`, `/`, `%`, `<`, `>`, `<=`, `>=`
+
+---
+
+## Herramientas explicativas nuevas y reforzadas
+
+### `explain`
+
+Explica una fórmula dentro del perfil activo:
+
+```st
+logic modal.k
+explain [](P -> P)
+```
+
+### `analyze`
+
+Evalúa inferencias completas y detecta falacias como:
+
+- afirmación del consecuente
+- negación del antecedente
+- medio no distribuido
+
+```st
+logic classical.propositional
+analyze {P, P -> Q} -> Q
+analyze {P} -> Q
+```
+
+### `render`
+
+Permite inspeccionar el estado acumulado:
+
+```st
+render theory
+render claims
+render c1
+```
+
+---
+
+## CLI
+
+### Ejecutar archivo
 
 ```bash
-st
+st run archivo.st
 ```
 
-## 💻 Programmatic API
+### Ejecutar modo legacy
+
+```bash
+st archivo.st
+```
+
+### Validar sintaxis y resultados
+
+```bash
+st check archivo.st
+```
+
+### Guardar diagnósticos JSON
+
+```bash
+st run archivo.st --diagnostics
+```
+
+### Evaluar una expresión directa
+
+```bash
+st eval "check valid (P -> P)"
+```
+
+### Protocolo para editores
+
+```bash
+st protocol
+```
+
+---
+
+## API programática
 
 ```typescript
 import { evaluate, createInterpreter } from '@stevenvo780/st-lang/api';
 
-// Stateless evaluation
 const result = evaluate(`
   logic classical.propositional
-  check valid (A -> (B -> A))
+  let regla = P -> Q
+  let hecho = P
+  derive Q from {regla, hecho}
 `);
-console.log(result.results[0].status); // 'valid'
 
-// Stateful interpreter
+console.log(result.results[0].status);
+
 const st = createInterpreter();
-st.exec('logic classical.propositional');
-st.exec('axiom a1 : P -> Q');
-const r = st.exec('check satisfiable a1');
-console.log(r.ok); // true
+st.exec('logic arithmetic');
+st.exec('explain 2 + 3 * 4');
 ```
 
-## 🏗️ Architecture
+---
+
+## Carpeta `examples/`
+
+El repositorio incluye ejemplos listos para ejecutar:
 
-ST is built with a modular compiler architecture specialized for symbolic logic:
+- `demo.st`: núcleo lógico básico
+- `programming-control-flow.st`: `let`, `if`, `for`, `while`, `fn`
+- `guided-language-tour.st`: recorrido guiado y pedagógico
+- `text-layer.st`: formalización de documentos
+- `theory-showcase.st`: encapsulación, herencia y acceso con punto
+- `arithmetic-programming.st`: scripting con `logic arithmetic`
+- `stress-all-profiles.st`: smoke test amplio
+
+Para ejecutarlos todos:
+
+```bash
+npm run examples:run
+```
 
-1. **Lexer/Parser**: Consumes `.st` scripts into a typed AST.
-2. **Interpreter**: Manages the **Theory** (axioms, theorems, claims) and executes statements.
-3. **Logic Profiles**: Pluggable engines that implement the `LogicProfile` interface. Each profile provides its own solvers (Tableau, Truth Tables, etc.).
-4. **Text Layer State**: Tracks references to external documents and maps them to logical formulas.
 ---
 
-## 📖 Usage & Documentation
+## Extensión de VS Code
 
-### How to use ST
-The ST interpreter can be used in three ways:
+La extensión oficial en `editors/vscode-st` aporta:
 
-1. **Script Mode**: Run a `.st` file directly.
-   ```bash
-   st theory.st
-   ```
-2. **Interactive REPL**: Just type `st` to enter the interactive shell.
-   ```bash
-   st
-   ```
-3. **API Mode**: Integrate into your Node.js/TypeScript projects via `@stevenvo780/st-lang`.
+- resaltado sintáctico
+- snippets
+- símbolos del documento
+- hover
+- diagnósticos
+- autocompletado orientado al lenguaje
 
-### 🔌 Editor Integration (VS Code)
-We provide an official VS Code extension for a rich development experience:
-- **Syntax Highlighting**: Full support for all logic profiles and operators.
-- **Diagnostics**: Real-time linting and syntax error reporting.
-- **Hover Support**: View axiom definitions and logical formulas on hover.
-- **Symbols**: Easily navigate your theory using the document symbol tree.
-- **Autocompletion**: Intelligent snippets for logical commands and profiles.
+---
+
+## Arquitectura
 
-*To use it, open the `editors/vscode-st` folder and install the extension.*
+1. **Lexer/Parser**: transforma el script `.st` en AST.
+2. **Interpreter**: ejecuta statements, mantiene teoría, bindings, funciones y Text Layer.
+3. **Profiles**: cada perfil implementa derivación, validez, satisfacibilidad, explicación y más.
+4. **ProtocolHandler**: expone capacidades para integraciones de editor.
+
+---
 
-### Complete Documentation
-For detailed syntax guides, logic profile references, and advanced Text Layer features, please visit our official documentation at:
+## Documentación ampliada
 
-👉 [**agora.humanizar.cloud/docs#st-lang**](https://agora.humanizar.cloud/docs#st-lang)
+- Guía completa local: [`DOCS.md`](./DOCS.md)
+- Documentación web: [agora.humanizar.cloud/docs#st-lang](https://agora.humanizar.cloud/docs#st-lang)
 
 ---
 
-## 📄 License
+## Licencia
 
 MIT © [Steven Velez](https://github.com/stevenvo780) | Developed by [Humanizar](https://github.com/humanizar)

package/dist/ast/nodes.d.ts

@@ -1,5 +1,5 @@
 import { Formula, SourceLocation } from '../types';
-export type StatementKind = 'logic_decl' | 'axiom_decl' | 'theorem_decl' | 'derive_cmd' | 'check_valid_cmd' | 'check_satisfiable_cmd' | 'check_equivalent_cmd' | 'prove_cmd' | 'countermodel_cmd' | 'truth_table_cmd' | 'let_decl' | 'claim_decl' | 'support_decl' | 'confidence_decl' | 'context_decl' | 'render_cmd' | 'analyze_cmd' | 'explain_cmd' | 'import_decl' | 'proof_block' | 'theory_decl';
+export type StatementKind = 'logic_decl' | 'axiom_decl' | 'theorem_decl' | 'derive_cmd' | 'check_valid_cmd' | 'check_satisfiable_cmd' | 'check_equivalent_cmd' | 'prove_cmd' | 'countermodel_cmd' | 'truth_table_cmd' | 'let_decl' | 'claim_decl' | 'support_decl' | 'confidence_decl' | 'context_decl' | 'render_cmd' | 'analyze_cmd' | 'explain_cmd' | 'import_decl' | 'proof_block' | 'theory_decl' | 'print_cmd' | 'set_cmd' | 'if_stmt' | 'for_stmt' | 'while_stmt' | 'fn_decl' | 'return_stmt' | 'fn_call' | 'export_decl';
 export interface ASTNode {
     kind: StatementKind;
     source: SourceLocation;
@@ -83,9 +83,62 @@ export interface TheoryMember {
 export interface TheoryDeclNode extends ASTNode {
     kind: 'theory_decl';
     name: string;
+    params?: string[];
     parent?: string;
     members: TheoryMember[];
 }
+export interface PrintCmdNode extends ASTNode {
+    kind: 'print_cmd';
+    value: string | null;
+    formula?: Formula;
+}
+export interface SetCmdNode extends ASTNode {
+    kind: 'set_cmd';
+    name: string;
+    formula: Formula;
+}
+export interface IfBranch {
+    condition: 'valid' | 'satisfiable' | 'unsatisfiable' | 'invalid';
+    formula: Formula;
+    body: Statement[];
+}
+export interface IfStmtNode extends ASTNode {
+    kind: 'if_stmt';
+    branches: IfBranch[];
+    elseBranch?: Statement[];
+}
+export interface ForStmtNode extends ASTNode {
+    kind: 'for_stmt';
+    variable: string;
+    items: Formula[];
+    body: Statement[];
+}
+export interface WhileStmtNode extends ASTNode {
+    kind: 'while_stmt';
+    condition: 'valid' | 'satisfiable' | 'unsatisfiable' | 'invalid';
+    formula: Formula;
+    body: Statement[];
+    maxIterations: number;
+}
+export interface FnDeclNode extends ASTNode {
+    kind: 'fn_decl';
+    name: string;
+    params: string[];
+    body: Statement[];
+}
+export interface ReturnStmtNode extends ASTNode {
+    kind: 'return_stmt';
+    formula?: Formula;
+}
+export interface FnCallNode extends ASTNode {
+    kind: 'fn_call';
+    name: string;
+    args: Formula[];
+}
+export interface ExportDeclNode extends ASTNode {
+    kind: 'export_decl';
+    statement: Statement;
+}
 export interface LetPassageNode extends ASTNode {
     kind: 'let_decl';
     name: string;
@@ -135,7 +188,7 @@ export interface ContextDeclNode extends ASTNode {
     claimName: string;
     text: string;
 }
-export type Statement = LogicDeclNode | AxiomDeclNode | TheoremDeclNode | DeriveCmdNode | CheckValidCmdNode | CheckSatisfiableCmdNode | CheckEquivalentCmdNode | ProveCmdNode | CountermodelCmdNode | TruthTableCmdNode | LetDeclNode | ClaimDeclNode | SupportDeclNode | ConfidenceDeclNode | ContextDeclNode | RenderCmdNode | AnalyzeCmdNode | ExplainCmdNode | ImportDeclNode | ProofBlockNode | TheoryDeclNode;
+export type Statement = LogicDeclNode | AxiomDeclNode | TheoremDeclNode | DeriveCmdNode | CheckValidCmdNode | CheckSatisfiableCmdNode | CheckEquivalentCmdNode | ProveCmdNode | CountermodelCmdNode | TruthTableCmdNode | LetDeclNode | ClaimDeclNode | SupportDeclNode | ConfidenceDeclNode | ContextDeclNode | RenderCmdNode | AnalyzeCmdNode | ExplainCmdNode | ImportDeclNode | ProofBlockNode | TheoryDeclNode | PrintCmdNode | SetCmdNode | IfStmtNode | ForStmtNode | WhileStmtNode | FnDeclNode | ReturnStmtNode | FnCallNode | ExportDeclNode;
 export interface Program {
     statements: Statement[];
     file: string;

package/dist/ast/nodes.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"nodes.d.ts","sourceRoot":"","sources":["../../src/ast/nodes.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAInD,MAAM,MAAM,aAAa,GACrB,YAAY,GACZ,YAAY,GACZ,cAAc,GACd,YAAY,GACZ,iBAAiB,GACjB,uBAAuB,GACvB,sBAAsB,GACtB,WAAW,GACX,kBAAkB,GAClB,iBAAiB,GACjB,UAAU,GACV,YAAY,GACZ,cAAc,GACd,iBAAiB,GACjB,cAAc,GACd,YAAY,GACZ,aAAa,GACb,aAAa,GACb,aAAa,GACb,aAAa,GACb,aAAa,CAAC;AAElB,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,EAAE,cAAc,CAAC;CACxB;AAID,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,eAAgB,SAAQ,OAAO;IAC9C,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;CAClB;AAID,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,OAAO,CAAC;IACd,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,iBAAkB,SAAQ,OAAO;IAChD,IAAI,EAAE,iBAAiB,CAAC;IACxB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,uBAAwB,SAAQ,OAAO;IACtD,IAAI,EAAE,uBAAuB,CAAC;IAC9B,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,sBAAuB,SAAQ,OAAO;IACrD,IAAI,EAAE,sBAAsB,CAAC;IAC7B,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,YAAa,SAAQ,OAAO;IAC3C,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,OAAO,CAAC;IACd,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,mBAAoB,SAAQ,OAAO;IAClD,IAAI,EAAE,kBAAkB,CAAC;IACzB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,iBAAkB,SAAQ,OAAO;IAChD,IAAI,EAAE,iBAAiB,CAAC;IACxB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,WAAW,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;IAClD,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,SAAS,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,YAAY;IAC3B,SAAS,EAAE,SAAS,CAAC;IACrB,UAAU,EAAE,QAAQ,GAAG,SAAS,CAAC;CAClC;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,YAAY,EAAE,CAAC;CACzB;AAID,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,SAAS,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,gBAAiB,SAAQ,OAAO;IAC/C,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,WAAW,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,SAAS,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,kBAAmB,SAAQ,OAAO;IACjD,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,aAAa,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,MAAM,WAAW,GAAG,cAAc,GAAG,gBAAgB,GAAG,cAAc,GAAG,kBAAkB,CAAC;AAElG,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,eAAgB,SAAQ,OAAO;IAC9C,IAAI,EAAE,cAAc,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,kBAAmB,SAAQ,OAAO;IACjD,IAAI,EAAE,iBAAiB,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,eAAgB,SAAQ,OAAO;IAC9C,IAAI,EAAE,cAAc,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;CACd;AAID,MAAM,MAAM,SAAS,GACjB,aAAa,GACb,aAAa,GACb,eAAe,GACf,aAAa,GACb,iBAAiB,GACjB,uBAAuB,GACvB,sBAAsB,GACtB,YAAY,GACZ,mBAAmB,GACnB,iBAAiB,GACjB,WAAW,GACX,aAAa,GACb,eAAe,GACf,kBAAkB,GAClB,eAAe,GACf,aAAa,GACb,cAAc,GACd,cAAc,GACd,cAAc,GACd,cAAc,GACd,cAAc,CAAC;AAEnB,MAAM,WAAW,OAAO;IACtB,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;CACd"}
+{"version":3,"file":"nodes.d.ts","sourceRoot":"","sources":["../../src/ast/nodes.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAInD,MAAM,MAAM,aAAa,GACrB,YAAY,GACZ,YAAY,GACZ,cAAc,GACd,YAAY,GACZ,iBAAiB,GACjB,uBAAuB,GACvB,sBAAsB,GACtB,WAAW,GACX,kBAAkB,GAClB,iBAAiB,GACjB,UAAU,GACV,YAAY,GACZ,cAAc,GACd,iBAAiB,GACjB,cAAc,GACd,YAAY,GACZ,aAAa,GACb,aAAa,GACb,aAAa,GACb,aAAa,GACb,aAAa,GACb,WAAW,GACX,SAAS,GACT,SAAS,GACT,UAAU,GACV,YAAY,GACZ,SAAS,GACT,aAAa,GACb,SAAS,GACT,aAAa,CAAC;AAElB,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,EAAE,cAAc,CAAC;CACxB;AAID,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,eAAgB,SAAQ,OAAO;IAC9C,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;CAClB;AAID,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,OAAO,CAAC;IACd,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,iBAAkB,SAAQ,OAAO;IAChD,IAAI,EAAE,iBAAiB,CAAC;IACxB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,uBAAwB,SAAQ,OAAO;IACtD,IAAI,EAAE,uBAAuB,CAAC;IAC9B,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,sBAAuB,SAAQ,OAAO;IACrD,IAAI,EAAE,sBAAsB,CAAC;IAC7B,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,YAAa,SAAQ,OAAO;IAC3C,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,OAAO,CAAC;IACd,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,mBAAoB,SAAQ,OAAO;IAClD,IAAI,EAAE,kBAAkB,CAAC;IACzB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,iBAAkB,SAAQ,OAAO;IAChD,IAAI,EAAE,iBAAiB,CAAC;IACxB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,WAAW,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;IAClD,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,SAAS,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,YAAY;IAC3B,SAAS,EAAE,SAAS,CAAC;IACrB,UAAU,EAAE,QAAQ,GAAG,SAAS,CAAC;CAClC;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,YAAY,EAAE,CAAC;CACzB;AAID,MAAM,WAAW,YAAa,SAAQ,OAAO;IAC3C,IAAI,EAAE,WAAW,CAAC;IAClB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,UAAW,SAAQ,OAAO;IACzC,IAAI,EAAE,SAAS,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,QAAQ;IACvB,SAAS,EAAE,OAAO,GAAG,aAAa,GAAG,eAAe,GAAG,SAAS,CAAC;IACjE,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,SAAS,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,UAAW,SAAQ,OAAO;IACzC,IAAI,EAAE,SAAS,CAAC;IAChB,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACrB,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,WAAY,SAAQ,OAAO;IAC1C,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,OAAO,EAAE,CAAC;IACjB,IAAI,EAAE,SAAS,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,SAAS,EAAE,OAAO,GAAG,aAAa,GAAG,eAAe,GAAG,SAAS,CAAC;IACjE,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,SAAS,EAAE,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,UAAW,SAAQ,OAAO;IACzC,IAAI,EAAE,SAAS,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,IAAI,EAAE,SAAS,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,UAAW,SAAQ,OAAO;IACzC,IAAI,EAAE,SAAS,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,OAAO,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,SAAS,EAAE,SAAS,CAAC;CACtB;AAID,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,SAAS,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,gBAAiB,SAAQ,OAAO;IAC/C,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,WAAW,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,SAAS,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,kBAAmB,SAAQ,OAAO;IACjD,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,aAAa,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,MAAM,WAAW,GAAG,cAAc,GAAG,gBAAgB,GAAG,cAAc,GAAG,kBAAkB,CAAC;AAElG,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,eAAgB,SAAQ,OAAO;IAC9C,IAAI,EAAE,cAAc,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,kBAAmB,SAAQ,OAAO;IACjD,IAAI,EAAE,iBAAiB,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,eAAgB,SAAQ,OAAO;IAC9C,IAAI,EAAE,cAAc,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;CACd;AAID,MAAM,MAAM,SAAS,GACjB,aAAa,GACb,aAAa,GACb,eAAe,GACf,aAAa,GACb,iBAAiB,GACjB,uBAAuB,GACvB,sBAAsB,GACtB,YAAY,GACZ,mBAAmB,GACnB,iBAAiB,GACjB,WAAW,GACX,aAAa,GACb,eAAe,GACf,kBAAkB,GAClB,eAAe,GACf,aAAa,GACb,cAAc,GACd,cAAc,GACd,cAAc,GACd,cAAc,GACd,cAAc,GACd,YAAY,GACZ,UAAU,GACV,UAAU,GACV,WAAW,GACX,aAAa,GACb,UAAU,GACV,cAAc,GACd,UAAU,GACV,cAAc,CAAC;AAEnB,MAAM,WAAW,OAAO;IACtB,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;CACd"}

package/dist/lexer/lexer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"lexer.d.ts","sourceRoot":"","sources":["../../src/lexer/lexer.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,KAAK,EAAuB,MAAM,UAAU,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAEtC,qBAAa,KAAK;IAChB,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,MAAM,CAAe;IAC7B,OAAO,CAAC,GAAG,CAAa;IACxB,OAAO,CAAC,IAAI,CAAa;IACzB,OAAO,CAAC,MAAM,CAAa;IAC3B,OAAO,CAAC,IAAI,CAAS;IACd,WAAW,EAAE,UAAU,EAAE,CAAM;gBAE1B,MAAM,EAAE,MAAM,EAAE,IAAI,GAAE,MAAkB;IAKpD,QAAQ,IAAI,KAAK,EAAE;IA0MnB,OAAO,CAAC,QAAQ;IAShB,OAAO,CAAC,OAAO;IAKf,OAAO,CAAC,IAAI;IAMZ,OAAO,CAAC,cAAc;IAWtB,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,UAAU;IAIlB,OAAO,CAAC,eAAe;IASvB,OAAO,CAAC,gBAAgB;IA6BxB,OAAO,CAAC,UAAU;IAuDlB,OAAO,CAAC,UAAU;IAuBlB,OAAO,CAAC,cAAc;CAyBvB"}
+{"version":3,"file":"lexer.d.ts","sourceRoot":"","sources":["../../src/lexer/lexer.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,KAAK,EAAuB,MAAM,UAAU,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAEtC,qBAAa,KAAK;IAChB,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,MAAM,CAAe;IAC7B,OAAO,CAAC,GAAG,CAAa;IACxB,OAAO,CAAC,IAAI,CAAa;IACzB,OAAO,CAAC,MAAM,CAAa;IAC3B,OAAO,CAAC,IAAI,CAAS;IACd,WAAW,EAAE,UAAU,EAAE,CAAM;gBAE1B,MAAM,EAAE,MAAM,EAAE,IAAI,GAAE,MAAkB;IAKpD,QAAQ,IAAI,KAAK,EAAE;IA8PnB,OAAO,CAAC,QAAQ;IAShB,OAAO,CAAC,OAAO;IAKf,OAAO,CAAC,IAAI;IAMZ,OAAO,CAAC,cAAc;IAWtB,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,UAAU;IAIlB,OAAO,CAAC,eAAe;IASvB,OAAO,CAAC,gBAAgB;IA6BxB,OAAO,CAAC,UAAU;IAuDlB,OAAO,CAAC,UAAU;IAuBlB,OAAO,CAAC,cAAc;CAyBvB"}