@hyperscale0/hsx 1.0.0-rc.1 → 1.0.123

package/README.md

@@ -1,58 +1,60 @@
 # HSX
 
-HSX is the typed language for money on the Hyperscale operating system. It
-defines general instruments, composes a standard library, checks
-currency-indexed linear money, and calculates cost at compile time.
-HSX compiles each accepted program to canonical UDL.
-
-```hsx
-program held_sale "Held sale"
-import { held_payment } from "std/settlements"
-party buyer: person
-party seller: business
-settlement sale = held_payment {
-  payer: buyer
-  payee: seller
-  amount: price: money(SAR)
-  release: port accept_delivery
-}
-
-port accept_delivery { allowed: [buyer] }
-```
+HSX is a typed composition language for a company's objects, agreements and
+actions. Programs can model a repair approval, a rental deposit or a financing
+plan. The compiler produces canonical UDL for an executor. It executes no actions.
+This release supports SAR.
 
-```sh
-npm install @hyperscale0/hsx @hyperscale0/udl
-npx hsx check product.hsx
-```
+## Start here
 
-After installing dependencies in a repository checkout, run `bun run bin/hsx.ts check product.hsx`.
+Install the published package locally with `npm install @hyperscale0/hsx`.
+Its `hsx` executable requires Node.js 22 or later. Use `npx hsx` for a local install:
 
-```ts
-import { compile } from "@hyperscale0/hsx";
-const result = compile(source, { costTable });
-const { document, frame, originMap, costManifest } = result.artifacts!;
+```sh
+npx hsx check rental.hsx
+npx hsx build rental.hsx --out rental.udl.json
+npx hsx cost rental.hsx
 ```
 
-The compiler returns four artifacts named `document`, `frame`, `originMap`, and `costManifest`.
+Start with the [first program and rental guide](docs/README.md). Save the
+[rental source](examples/rental-deposit.hsx) as `rental.hsx` for these commands.
+It holds 1,000 SAR, charges a one-time 50 SAR late fee, and returns the remainder.
+The guide explains the fixed business binding and the host needed to execute it.
+
+`npx hsx headers` prints every std instrument and its tunables from the bundled
+headers. The [samples](examples/) include both complete action paths and
+compositions that still need child-record actions or adapter bindings. A compile
+pass does not prove that a flow is publicly executable or funded.
 
-`document` is the canonical UDL value.
+## Browser language service
 
-The built-in module resolver reads every settlement module in `std/settlements`.
+```ts
+import { highlight, describe } from "@hyperscale0/hsx/language";
+import { examples } from "@hyperscale0/hsx/examples";
 
-The CLI exits 0 for an accepted program, 1 for a refused program, and 2 when it cannot use the command line or input file.
+const source = examples[0]!.source;
+const spans = highlight(source);
+const hover = describe(source, source.indexOf("program"));
+```
 
-Every compiler diagnostic code appears in the generated diagnostics catalog.
+Both functions accept incomplete source and need no Node or editor framework.
+Spans use half-open UTF-16 offsets. Whitespace has no span; unknown hover targets
+return `null`. Pass a `StandardLibrary` as the last argument for custom headers.
+Header signatures and bounds come from compiler metadata. Bounds use minor
+currency units, basis points and milliseconds.
 
-Start with the [first program](./docs/guide/01-first-program.md), then read the
-[guide in order](./docs/README.md). The generated [grammar](./docs/reference/grammar.md),
-[standard library pages](./docs/reference/std/), and
-[diagnostics catalog](./docs/reference/diagnostics.md) track the compiler.
+Examples have `id`, `title`, `summary`, `headers` and `source`. The ID is the
+filename without `.hsx`; leading comments supply the summary. The array is sorted
+by filename and contains no filesystem imports. Workspace imports use
+`@hyperscale0/hsx` instead of the published `@hyperscale0/hsx` name.
 
-HSX is like Terraform for a financial product: the program declares the
-contract, and the compiler refuses an invalid plan before a runtime reads it.
+## Working from source
 
-The VS Code extension is built as `hsx.vsix` in CI. Download the workflow
-artifact, then run `code --install-extension hsx.vsix`.
+Run `bun install` and `bun run build` in this package's public source checkout.
+Run `bun bin/hsx.ts check examples/rental-deposit.hsx` to use the source CLI.
+`bun run check` checks types, compiles bundled examples and checks bundle freshness.
 
-HSX is licensed under AGPL-3.0-only. See [LICENSE](./LICENSE) and
-[LICENSING.md](./LICENSING.md).
+Edit prose in `docs/README.md`, programs in `examples/`, and header comments in
+`std/`. Run `bun run generate` after changing these inputs. It emits the header
+and example bundles.
+`bun run build` also builds the browser playground.

package/bin/hsx.ts

@@ -1,9 +1,4 @@
 #!/usr/bin/env node
-/**
- * The `hsx` executable. Everything it does lives in `runCli`; this file only
- * binds that function to the real filesystem and the real streams.
- */
-
 import { readFile, writeFile } from "node:fs/promises";
 import { runCli } from "../src/cli.ts";
 

package/dist/bin/hsx.d.ts

@@ -1,7 +1,3 @@
 #!/usr/bin/env node
-/**
- * The `hsx` executable. Everything it does lives in `runCli`; this file only
- * binds that function to the real filesystem and the real streams.
- */
 export {};
 //# sourceMappingURL=hsx.d.ts.map

package/dist/bin/hsx.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"hsx.d.ts","sourceRoot":"","sources":["../../bin/hsx.ts"],"names":[],"mappings":";AACA;;;GAGG"}
+{"version":3,"file":"hsx.d.ts","sourceRoot":"","sources":["../../bin/hsx.ts"],"names":[],"mappings":""}

package/dist/bin/hsx.js

@@ -1,8 +1,4 @@
 #!/usr/bin/env node
-/**
- * The `hsx` executable. Everything it does lives in `runCli`; this file only
- * binds that function to the real filesystem and the real streams.
- */
 import { readFile, writeFile } from "node:fs/promises";
 import { runCli } from "../src/cli.js";
 process.exitCode = await runCli(process.argv.slice(2), {

package/dist/bin/hsx.js.map

@@ -1 +1 @@
-{"version":3,"file":"hsx.js","sourceRoot":"","sources":["../../bin/hsx.ts"],"names":[],"mappings":";AACA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAEvC,OAAO,CAAC,QAAQ,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;IACrD,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC;IAChD,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC;IAChD,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAC1C,SAAS,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC;CACjE,CAAC,CAAC"}
+{"version":3,"file":"hsx.js","sourceRoot":"","sources":["../../bin/hsx.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAEvC,OAAO,CAAC,QAAQ,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;IACrD,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC;IAChD,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC;IAChD,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAC1C,SAAS,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC;CACjE,CAAC,CAAC"}

package/dist/src/ast.d.ts

@@ -1,309 +1,120 @@
-/**
- * The HSX abstract syntax tree.
- *
- * Every node carries a byte-offset span into the original source. Spans are
- * the compiler's source-mapping currency: diagnostics at every later stage
- * (typecheck, lowering, verdicts) point at source coordinates, never at
- * lowered IR paths. Offsets convert to line/column via `lineColAt`.
- */
 export interface Span {
-    /** Inclusive start byte offset into the source text. */
-    readonly start: number;
-    /** Exclusive end byte offset into the source text. */
-    readonly end: number;
+    start: number;
+    end: number;
 }
-export interface LineCol {
-    /** 1-indexed line. */
-    readonly line: number;
-    /** 1-indexed column, counted in UTF-16 code units. */
-    readonly column: number;
-}
-/** Convert a byte offset to a 1-indexed line/column position. */
-export declare function lineColAt(source: string, offset: number): LineCol;
-/**
- * One source scanned once, so many offsets resolve without rescanning it.
- * `lineColAt` walks from offset zero every time, which turns a run of d
- * diagnostics over an n-byte source into O(n*d) work. A caller holding this
- * pays O(n) once and O(log n) per offset.
- */
-export interface LineIndex {
-    /** Source length, so `lineColIn` clamps exactly as `lineColAt` does. */
-    readonly length: number;
-    /** Offset of the first character of each line, ascending. Line 1 starts at 0. */
-    readonly starts: readonly number[];
-}
-/** Scan a source once for the offset every line starts at. */
-export declare function lineIndex(source: string): LineIndex;
-/**
- * Resolve one offset against a prebuilt index. Returns exactly what
- * `lineColAt` returns for the same source and offset.
- */
-export declare function lineColIn(index: LineIndex, offset: number): LineCol;
-export interface IdentExpr {
-    readonly kind: "ident";
-    readonly name: string;
-    /** A literal quoted block key keeps its exact spelling during JSON lowering. */
-    readonly quoted?: boolean;
-    readonly span: Span;
-}
-export interface StringExpr {
-    readonly kind: "string";
-    readonly span: Span;
-    readonly value: string;
-}
-export interface NumberExpr {
-    readonly kind: "number";
-    /** The literal exactly as written, e.g. "99.5". Interpretation is typed later. */
-    readonly raw: string;
-    readonly span: Span;
-}
-export interface BooleanExpr {
-    readonly kind: "boolean";
-    readonly span: Span;
-    readonly value: boolean;
-}
-/** A currency-indexed literal. The checker converts it to integer minor units. */
-export interface MoneyExpr {
-    readonly currency: IdentExpr;
-    readonly kind: "money";
-    readonly raw: string;
-    readonly span: Span;
-}
-/** A dotted name used for modules, UDL operations, and field paths. */
-export interface PathExpr {
-    readonly kind: "path";
-    readonly parts: readonly IdentExpr[];
-    readonly span: Span;
-}
-/** A nominal type application such as `money<SAR>` or `ref<invoice>`. */
-export interface TypeApplyExpr {
-    readonly args: readonly Expr[];
-    readonly callee: IdentExpr;
-    readonly kind: "type_apply";
-    readonly span: Span;
-}
-/** A general instrument or constant application, with optional type arguments. */
-export interface ApplyExpr {
-    readonly args: readonly Expr[];
-    readonly callee: PathExpr;
-    readonly kind: "apply";
-    readonly span: Span;
-    readonly typeArgs: readonly Expr[];
-}
-export interface PercentExpr {
-    /** Exact basis points: 99.5% is 9950. Percents never round. */
-    readonly bps: number;
-    readonly kind: "percent";
-    readonly raw: string;
-    readonly span: Span;
-}
-/** A type or constructor application: `money(SAR)`, `id(vehicle)`. */
-export interface CallExpr {
-    readonly args: readonly Expr[];
-    readonly callee: IdentExpr;
-    readonly kind: "call";
-    readonly span: Span;
-}
-/**
- * An exit amount chosen by a decision port and bounded by stored money:
- * `decided { field: damageAmount, bound: depositAmount, remainder: return }`.
- */
-export interface DecidedAmountExpr {
-    readonly body: BlockExpr;
-    readonly kind: "decided_amount";
-    readonly span: Span;
-}
-/**
- * A reference to a decision port, optionally bounded (`port dispute within
- * P14D`) or carrying the date that decides when the port has not
- * (`port approve_release | at(releaseDueAt)`).
- */
-export interface PortRefExpr {
-    /** `| at(<field>)`, the stored date field that resolves an undecided hold. */
-    readonly deadline?: IdentExpr;
-    readonly kind: "port_ref";
-    readonly name: IdentExpr;
-    readonly span: Span;
-    readonly within?: IdentExpr;
-}
-/**
- * `retention.release`, one settlement naming another settlement's declared
- * referenceable exit. The checker resolves it wholly before lowering.
- */
-export interface SettlementRefExpr {
-    readonly kind: "settlement_ref";
-    /** The exit named on the owner, e.g. `release`. */
-    readonly member: IdentExpr;
-    /** The settlement being referenced. */
-    readonly owner: IdentExpr;
-    readonly span: Span;
-}
-export interface ListExpr {
-    readonly items: readonly Expr[];
-    readonly kind: "list";
-    readonly span: Span;
-}
-/** A brace block of entries: `{ buyer: 1%, seller: 2% }`. */
-export interface BlockExpr {
-    readonly entries: readonly Entry[];
-    readonly kind: "block";
-    readonly span: Span;
-}
-/**
- * A named typed binding inside an expression position:
- * `amount: price: money(SAR)` binds the field name `price` to type
- * `money(SAR)`: the entry key is `amount`, the value is this binding.
- */
-export interface BindingExpr {
-    readonly kind: "binding";
-    readonly name: IdentExpr;
-    readonly span: Span;
-    readonly type: Expr;
-}
-export type Expr = ApplyExpr | BindingExpr | BlockExpr | BooleanExpr | CallExpr | DecidedAmountExpr | IdentExpr | ListExpr | MoneyExpr | NumberExpr | PathExpr | PercentExpr | PortRefExpr | SettlementRefExpr | StringExpr | TypeApplyExpr;
-/**
- * One keyed entry inside a declaration body. Three surface shapes normalize
- * here: `payer: buyer` (key + value), `fees { ... }` (key + block value),
- * and `on_cancel(funded) { ... }` (key + qualifiers + block value).
- */
+export interface Diagnostic {
+    source?: string;
+    related?: readonly {
+        source: string;
+        span: Span;
+        message: string;
+    }[];
+    code: string;
+    message: string;
+    fix: string;
+    span: Span;
+}
+export type Expr = {
+    kind: "name" | "text" | "number" | "money" | "percent" | "duration" | "date";
+    value: string;
+    span: Span;
+} | {
+    kind: "list";
+    items: Expr[];
+    span: Span;
+} | {
+    kind: "block";
+    entries: Entry[];
+    span: Span;
+} | {
+    kind: "call";
+    name: string;
+    args: Expr[];
+    span: Span;
+} | {
+    kind: "type";
+    name: string;
+    target?: string;
+    owner?: string;
+    optional: boolean;
+    many?: boolean;
+    span: Span;
+} | {
+    kind: "default";
+    type: Expr;
+    value: Expr;
+    span: Span;
+} | {
+    kind: "capped";
+    rate: Expr;
+    cap: Expr;
+    span: Span;
+};
 export interface Entry {
-    /** `for item in bound { ... }`, expanded before binding or UDL lowering. */
-    readonly iteration?: {
-        readonly binding: IdentExpr;
-        readonly bound: Expr;
-    };
-    readonly key: IdentExpr;
-    readonly qualifiers: readonly IdentExpr[];
-    readonly span: Span;
-    readonly value: Expr;
+    key: string;
+    value: Expr;
+    span: Span;
 }
-/** `program used_car_escrow "Used-car escrow"` names the company program. */
-export interface ProgramDecl {
-    readonly kind: "program";
-    readonly name: IdentExpr;
-    readonly span: Span;
-    readonly title?: StringExpr;
-}
-/** `use held_settlement` selects one published catalog instrument. */
-export interface UseDecl {
-    readonly instrument: IdentExpr;
-    readonly kind: "use";
-    readonly span: Span;
-}
-/** `expose held_settlement.release as releaseFunds` names a public action. */
-export interface ExposeDecl {
-    readonly action: IdentExpr;
-    readonly instrument: IdentExpr;
-    readonly kind: "expose";
-    readonly publicName: IdentExpr;
-    readonly span: Span;
-}
-/** `import { held_payment } from "std/settlements"`. */
-export interface ImportDecl {
-    readonly from: StringExpr;
-    readonly kind: "import";
-    readonly names: readonly IdentExpr[];
-    readonly span: Span;
-}
-/** `party buyer: person` with an optional attribute block. */
-export interface PartyDecl {
-    readonly attrs?: BlockExpr;
-    readonly kind: "party";
-    readonly name: IdentExpr;
-    readonly partyKind: IdentExpr;
-    readonly span: Span;
-}
-/** `asset vehicle: good { title_transfer: off_platform }`. */
-export interface AssetDecl {
-    readonly assetKind: IdentExpr;
-    readonly attrs?: BlockExpr;
-    readonly kind: "asset";
-    readonly name: IdentExpr;
-    readonly span: Span;
-}
-/** A full UDL subject-kind declaration. `asset` remains shorthand for this form. */
-export interface SubjectDecl {
-    readonly body: BlockExpr;
-    readonly kind: "subject";
-    readonly name: IdentExpr;
-    readonly span: Span;
-}
-/** `port confirm_handover { allowed: [buyer], ... }`. */
-export interface PortDecl {
-    readonly body: BlockExpr;
-    readonly kind: "port";
-    readonly name: IdentExpr;
-    readonly span: Span;
-}
-/** `module std.settlements` gives a file its importable module name. */
-export interface ModuleDecl {
-    readonly kind: "module";
-    readonly name: PathExpr;
-    readonly span: Span;
-}
-export interface TypeParameter {
-    readonly name: IdentExpr;
-    readonly span: Span;
-}
-export interface Parameter {
-    readonly name: IdentExpr;
-    readonly span: Span;
-    readonly type: Expr;
-}
-/** The single general instrument definition form. */
 export interface InstrumentDecl {
-    readonly body: BlockExpr;
-    /** Module-local declarations carried only while this template is bound. */
-    readonly declarationScope?: readonly ApplicationScopeDecl[];
-    readonly exported: boolean;
-    /** True when the source declared a parameter list, including an empty `()`. */
-    readonly hasParameterList: boolean;
-    readonly kind: "instrument";
-    readonly name: IdentExpr;
-    readonly parameters: readonly Parameter[];
-    readonly span: Span;
-    readonly typeParameters: readonly TypeParameter[];
-}
-/** Instantiation of an exported parameterized instrument. */
-export interface InstrumentApplyDecl {
-    readonly application: ApplyExpr;
-    /** Module-local declarations carried only while this application is bound. */
-    readonly declarationScope?: readonly ApplicationScopeDecl[];
-    readonly exported: boolean;
-    readonly kind: "instrument_apply";
-    readonly metadata?: BlockExpr;
-    readonly name: IdentExpr;
-    readonly span: Span;
-}
-export interface TypeDecl {
-    readonly exported: boolean;
-    readonly kind: "type";
-    readonly name: IdentExpr;
-    readonly span: Span;
-    readonly value: Expr;
-}
-export interface ConstDecl {
-    readonly exported: boolean;
-    readonly kind: "const";
-    readonly name: IdentExpr;
-    readonly span: Span;
-    readonly type?: Expr;
-    readonly value: Expr;
-}
-export type ApplicationScopeDecl = ConstDecl | InstrumentDecl | PartyDecl | PortDecl | TypeDecl;
-export type Decl = AssetDecl | ConstDecl | ExposeDecl | ImportDecl | InstrumentApplyDecl | InstrumentDecl | ModuleDecl | PartyDecl | PortDecl | ProgramDecl | SubjectDecl | TypeDecl | UseDecl;
+    kind: "instrument";
+    name: string;
+    parameters: Entry[];
+    body: Extract<Expr, {
+        kind: "block";
+    }>;
+    span: Span;
+}
+export interface AssignmentDecl {
+    kind: "assignment";
+    name: string;
+    target: string;
+    body: Extract<Expr, {
+        kind: "block";
+    }>;
+    span: Span;
+}
+export interface ObjectDecl {
+    kind: "object";
+    name: string;
+    title: string;
+    body: Extract<Expr, {
+        kind: "block";
+    }>;
+    span: Span;
+}
+export type Decl = InstrumentDecl | AssignmentDecl | ObjectDecl | {
+    kind: "party";
+    name: string;
+    partyKind: string;
+    role?: string;
+    span: Span;
+} | {
+    kind: "use";
+    name: string;
+    span: Span;
+} | {
+    kind: "expose";
+    target: string;
+    name: string;
+    span: Span;
+} | {
+    kind: "hide";
+    target: string;
+    span: Span;
+};
 export interface Program {
-    readonly decls: readonly Decl[];
-    readonly span: Span;
-}
-/**
- * A parse-stage problem, worded for the program's author. Parsing is total:
- * it never throws, it returns the best-effort tree plus these.
- */
-export interface Diagnostic {
-    readonly code?: string;
-    readonly fix?: string;
-    readonly message: string;
-    readonly span: Span;
-}
+    name: string;
+    title: string;
+    currency: string;
+    header: boolean;
+    decls: Decl[];
+    span: Span;
+}
+export declare const lineColAt: (source: string, offset: number) => {
+    line: number;
+    column: number;
+};
+export type BlockExpr = Extract<Expr, {
+    kind: "block";
+}>;
 //# sourceMappingURL=ast.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/ast.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,MAAM,WAAW,IAAI;IACnB,wDAAwD;IACxD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,sDAAsD;IACtD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,OAAO;IACtB,sBAAsB;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,sDAAsD;IACtD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,iEAAiE;AACjE,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAWjE;AAED;;;;;GAKG;AACH,MAAM,WAAW,SAAS;IACxB,wEAAwE;IACxE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,iFAAiF;IACjF,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAED,8DAA8D;AAC9D,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAMnD;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAUnE;AAID,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gFAAgF;IAChF,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,kFAAkF;IAClF,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED,kFAAkF;AAClF,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,uEAAuE;AACvE,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,yEAAyE;AACzE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,SAAS,IAAI,EAAE,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,kFAAkF;AAClF,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,SAAS,IAAI,EAAE,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,SAAS,IAAI,EAAE,CAAC;CACpC;AAED,MAAM,WAAW,WAAW;IAC1B,+DAA+D;IAC/D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,sEAAsE;AACtE,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,IAAI,EAAE,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,8EAA8E;IAC9E,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC;CAC7B;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,mDAAmD;IACnD,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,uCAAuC;IACvC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,6DAA6D;AAC7D,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,OAAO,EAAE,SAAS,KAAK,EAAE,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,MAAM,IAAI,GACZ,SAAS,GACT,WAAW,GACX,SAAS,GACT,WAAW,GACX,QAAQ,GACR,iBAAiB,GACjB,SAAS,GACT,QAAQ,GACR,SAAS,GACT,UAAU,GACV,QAAQ,GACR,WAAW,GACX,WAAW,GACX,iBAAiB,GACjB,UAAU,GACV,aAAa,CAAC;AAIlB;;;;GAIG;AACH,MAAM,WAAW,KAAK;IACpB,4EAA4E;IAC5E,QAAQ,CAAC,SAAS,CAAC,EAAE;QACnB,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;QAC5B,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;KACtB,CAAC;IACF,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;CACtB;AAID,6EAA6E;AAC7E,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;CAC7B;AAED,sEAAsE;AACtE,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,8EAA8E;AAC9E,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,wDAAwD;AACxD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,8DAA8D;AAC9D,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,8DAA8D;AAC9D,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,oFAAoF;AACpF,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,yDAAyD;AACzD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,wEAAwE;AACxE,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,qDAAqD;AACrD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,2EAA2E;IAC3E,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC5D,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,+EAA+E;IAC/E,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;CACnD;AAED,6DAA6D;AAC7D,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC;IAChC,8EAA8E;IAC9E,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC5D,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;CACtB;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;CACtB;AAED,MAAM,MAAM,oBAAoB,GAC5B,SAAS,GACT,cAAc,GACd,SAAS,GACT,QAAQ,GACR,QAAQ,CAAC;AAEb,MAAM,MAAM,IAAI,GACZ,SAAS,GACT,SAAS,GACT,UAAU,GACV,UAAU,GACV,mBAAmB,GACnB,cAAc,GACd,UAAU,GACV,SAAS,GACT,QAAQ,GACR,WAAW,GACX,WAAW,GACX,QAAQ,GACR,OAAO,CAAC;AAIZ,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAID;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB"}
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/ast.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,IAAI;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;CACb;AACD,MAAM,WAAW,UAAU;IACzB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,SAAS;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,IAAI,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACrE,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,IAAI,CAAC;CACZ;AACD,MAAM,MAAM,IAAI,GACZ;IACE,IAAI,EACA,MAAM,GACN,MAAM,GACN,QAAQ,GACR,OAAO,GACP,SAAS,GACT,UAAU,GACV,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,IAAI,CAAC;CACZ,GACD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,IAAI,EAAE,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,KAAK,EAAE,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAC/C;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACxD;IACE,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,IAAI,EAAE,IAAI,CAAC;CACZ,GACD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACxD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,GAAG,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AAC1D,MAAM,WAAW,KAAK;IACpB,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,IAAI,CAAC;IACZ,IAAI,EAAE,IAAI,CAAC;CACZ;AACD,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,KAAK,EAAE,CAAC;IACpB,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IACvC,IAAI,EAAE,IAAI,CAAC;CACZ;AACD,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IACvC,IAAI,EAAE,IAAI,CAAC;CACZ;AACD,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IACvC,IAAI,EAAE,IAAI,CAAC;CACZ;AACD,MAAM,MAAM,IAAI,GACZ,cAAc,GACd,cAAc,GACd,UAAU,GACV;IACE,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,IAAI,CAAC;CACZ,GACD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACzC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAC5D;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AACjD,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,OAAO,CAAC;IAChB,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,IAAI,EAAE,IAAI,CAAC;CACZ;AACD,eAAO,MAAM,SAAS,WAAY,MAAM,UAAU,MAAM;IAGpD,IAAI;IACJ,MAAM;CAET,CAAC;AACF,MAAM,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,EAAE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,CAAC"}