@aster-cloud/aster-lang-ts 2.0.0 → 3.0.0

package/dist/src/parser/naming-rules.generated.js

@@ -0,0 +1,392 @@
+export const NAMING_RULES = {
+    "version": 1,
+    "default": "Text",
+    "rules": [
+        {
+            "type": "Text",
+            "priority": 11,
+            "match": "lastWord",
+            "words": [
+                "message",
+                "dosage"
+            ]
+        },
+        {
+            "type": "Text",
+            "priority": 10,
+            "match": "lastWordMulti",
+            "words": [
+                "id",
+                "identifier"
+            ]
+        },
+        {
+            "type": "Text",
+            "priority": 8,
+            "match": "lastWord",
+            "words": [
+                "code",
+                "key",
+                "token",
+                "uuid",
+                "guid",
+                "vin"
+            ]
+        },
+        {
+            "type": "Float",
+            "priority": 10,
+            "match": "lastWord",
+            "words": [
+                "amount",
+                "price",
+                "cost",
+                "fee",
+                "total",
+                "balance",
+                "salary",
+                "income",
+                "payment",
+                "percentage",
+                "ratio"
+            ]
+        },
+        {
+            "type": "Float",
+            "priority": 9,
+            "match": "lastWord",
+            "words": [
+                "rate",
+                "interest"
+            ]
+        },
+        {
+            "type": "Int",
+            "priority": 10,
+            "match": "lastWord",
+            "words": [
+                "count",
+                "number",
+                "qty",
+                "quantity",
+                "score",
+                "level",
+                "rank",
+                "index",
+                "size",
+                "length",
+                "width",
+                "height",
+                "age"
+            ]
+        },
+        {
+            "type": "Int",
+            "priority": 9,
+            "match": "anyWord",
+            "words": [
+                "year",
+                "years",
+                "month",
+                "months",
+                "week",
+                "weeks",
+                "day",
+                "days",
+                "hour",
+                "hours",
+                "minute",
+                "minutes",
+                "second",
+                "seconds"
+            ]
+        },
+        {
+            "type": "Bool",
+            "priority": 11,
+            "match": "firstWord",
+            "words": [
+                "is",
+                "iss",
+                "ises",
+                "isd",
+                "ised",
+                "has",
+                "hass",
+                "hases",
+                "hasd",
+                "hased",
+                "can",
+                "cans",
+                "canes",
+                "cand",
+                "caned",
+                "should",
+                "shoulds",
+                "shouldes",
+                "shouldd",
+                "shoulded",
+                "was",
+                "wass",
+                "wases",
+                "wasd",
+                "wased",
+                "will",
+                "wills",
+                "willes",
+                "willd",
+                "willed",
+                "did",
+                "dids",
+                "dides",
+                "didd",
+                "dided",
+                "does",
+                "doess",
+                "doeses",
+                "doesd",
+                "doesed",
+                "allow",
+                "allows",
+                "allowes",
+                "allowd",
+                "allowed",
+                "enable",
+                "enables",
+                "enablees",
+                "enabled",
+                "enableed",
+                "disable",
+                "disables",
+                "disablees",
+                "disabled",
+                "disableed",
+                "active",
+                "actives",
+                "activees",
+                "actived",
+                "activeed",
+                "valid",
+                "valids",
+                "valides",
+                "validd",
+                "valided",
+                "require",
+                "requires",
+                "requirees",
+                "required",
+                "requireed"
+            ]
+        },
+        {
+            "type": "Bool",
+            "priority": 8,
+            "match": "lastWord",
+            "words": [
+                "flag",
+                "enabled",
+                "disabled",
+                "active",
+                "valid",
+                "approved",
+                "rejected",
+                "completed",
+                "confirmed",
+                "sufficient",
+                "success",
+                "passed",
+                "verified"
+            ]
+        },
+        {
+            "type": "DateTime",
+            "priority": 10,
+            "match": "lastWord",
+            "words": [
+                "date",
+                "time",
+                "at",
+                "timestamp",
+                "created",
+                "updated",
+                "modified",
+                "expired",
+                "birthday",
+                "anniversary"
+            ]
+        },
+        {
+            "type": "Text",
+            "priority": 8,
+            "match": "lastWord",
+            "words": [
+                "type",
+                "status",
+                "category",
+                "kind",
+                "mode"
+            ]
+        },
+        {
+            "type": "Text",
+            "priority": 7,
+            "match": "lastWord",
+            "words": [
+                "make",
+                "model",
+                "brand",
+                "manufacturer"
+            ]
+        },
+        {
+            "type": "Text",
+            "priority": 7,
+            "match": "lastWord",
+            "words": [
+                "name",
+                "title",
+                "description",
+                "comment",
+                "note",
+                "remark",
+                "address",
+                "email",
+                "phone",
+                "url",
+                "path",
+                "reason",
+                "recommendation",
+                "factors",
+                "purpose"
+            ]
+        },
+        {
+            "type": "Int",
+            "priority": 9,
+            "match": "lastWord",
+            "words": [
+                "rating",
+                "limit",
+                "premium",
+                "deductible",
+                "multiplier",
+                "deposit",
+                "line",
+                "utilization",
+                "inquiries",
+                "rent",
+                "debt",
+                "cards",
+                "value",
+                "payments"
+            ]
+        },
+        {
+            "type": "Int",
+            "priority": 8,
+            "match": "lastWord",
+            "words": [
+                "licensed",
+                "employed",
+                "job",
+                "experience"
+            ]
+        },
+        {
+            "type": "Int",
+            "priority": 9,
+            "match": "lastWord",
+            "words": [
+                "bps",
+                "apr",
+                "apy"
+            ]
+        },
+        {
+            "type": "Int",
+            "priority": 8,
+            "match": "lastWord",
+            "words": [
+                "checked"
+            ]
+        },
+        {
+            "type": "Bool",
+            "priority": 11,
+            "match": "textPrefix",
+            "strings": [
+                "是否",
+                "有无",
+                "能否",
+                "可否",
+                "允许",
+                "启用",
+                "禁用"
+            ]
+        },
+        {
+            "type": "Bool",
+            "priority": 8,
+            "match": "textSuffix",
+            "strings": [
+                "批准",
+                "通过",
+                "有效",
+                "合格",
+                "可疑",
+                "确认",
+                "验证"
+            ]
+        },
+        {
+            "type": "Int",
+            "priority": 10,
+            "match": "textSuffix",
+            "strings": [
+                "评分",
+                "年龄",
+                "数量",
+                "次数",
+                "额度",
+                "金额",
+                "保费",
+                "免赔额",
+                "账龄",
+                "卡数"
+            ]
+        },
+        {
+            "type": "Float",
+            "priority": 9,
+            "match": "textSuffix",
+            "strings": [
+                "利率",
+                "费率",
+                "比率",
+                "百分比"
+            ]
+        },
+        {
+            "type": "Bool",
+            "priority": 8,
+            "match": "textSuffix",
+            "strings": [
+                "genehmigt",
+                "berechtigt",
+                "verdaechtig",
+                "aktiviert",
+                "deaktiviert",
+                "aktiv",
+                "gueltig",
+                "erfolgreich",
+                "bestanden",
+                "bestaetigt",
+                "verifiziert",
+                "abgelehnt",
+                "abgeschlossen",
+                "erforderlich"
+            ]
+        }
+    ]
+};
+//# sourceMappingURL=naming-rules.generated.js.map

package/dist/src/parser/naming-rules.generated.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"naming-rules.generated.js","sourceRoot":"","sources":["../../../src/parser/naming-rules.generated.ts"],"names":[],"mappings":"AAMA,MAAM,CAAC,MAAM,YAAY,GAAqB;IAC5C,SAAS,EAAE,CAAC;IACZ,SAAS,EAAE,MAAM;IACjB,OAAO,EAAE;QACP;YACE,MAAM,EAAE,MAAM;YACd,UAAU,EAAE,EAAE;YACd,OAAO,EAAE,UAAU;YACnB,OAAO,EAAE;gBACP,SAAS;gBACT,QAAQ;aACT;SACF;QACD;YACE,MAAM,EAAE,MAAM;YACd,UAAU,EAAE,EAAE;YACd,OAAO,EAAE,eAAe;YACxB,OAAO,EAAE;gBACP,IAAI;gBACJ,YAAY;aACb;SACF;QACD;YACE,MAAM,EAAE,MAAM;YACd,UAAU,EAAE,CAAC;YACb,OAAO,EAAE,UAAU;YACnB,OAAO,EAAE;gBACP,MAAM;gBACN,KAAK;gBACL,OAAO;gBACP,MAAM;gBACN,MAAM;gBACN,KAAK;aACN;SACF;QACD;YACE,MAAM,EAAE,OAAO;YACf,UAAU,EAAE,EAAE;YACd,OAAO,EAAE,UAAU;YACnB,OAAO,EAAE;gBACP,QAAQ;gBACR,OAAO;gBACP,MAAM;gBACN,KAAK;gBACL,OAAO;gBACP,SAAS;gBACT,QAAQ;gBACR,QAAQ;gBACR,SAAS;gBACT,YAAY;gBACZ,OAAO;aACR;SACF;QACD;YACE,MAAM,EAAE,OAAO;YACf,UAAU,EAAE,CAAC;YACb,OAAO,EAAE,UAAU;YACnB,OAAO,EAAE;gBACP,MAAM;gBACN,UAAU;aACX;SACF;QACD;YACE,MAAM,EAAE,KAAK;YACb,UAAU,EAAE,EAAE;YACd,OAAO,EAAE,UAAU;YACnB,OAAO,EAAE;gBACP,OAAO;gBACP,QAAQ;gBACR,KAAK;gBACL,UAAU;gBACV,OAAO;gBACP,OAAO;gBACP,MAAM;gBACN,OAAO;gBACP,MAAM;gBACN,QAAQ;gBACR,OAAO;gBACP,QAAQ;gBACR,KAAK;aACN;SACF;QACD;YACE,MAAM,EAAE,KAAK;YACb,UAAU,EAAE,CAAC;YACb,OAAO,EAAE,SAAS;YAClB,OAAO,EAAE;gBACP,MAAM;gBACN,OAAO;gBACP,OAAO;gBACP,QAAQ;gBACR,MAAM;gBACN,OAAO;gBACP,KAAK;gBACL,MAAM;gBACN,MAAM;gBACN,OAAO;gBACP,QAAQ;gBACR,SAAS;gBACT,QAAQ;gBACR,SAAS;aACV;SACF;QACD;YACE,MAAM,EAAE,MAAM;YACd,UAAU,EAAE,EAAE;YACd,OAAO,EAAE,WAAW;YACpB,OAAO,EAAE;gBACP,IAAI;gBACJ,KAAK;gBACL,MAAM;gBACN,KAAK;gBACL,MAAM;gBACN,KAAK;gBACL,MAAM;gBACN,OAAO;gBACP,MAAM;gBACN,OAAO;gBACP,KAAK;gBACL,MAAM;gBACN,OAAO;gBACP,MAAM;gBACN,OAAO;gBACP,QAAQ;gBACR,SAAS;gBACT,UAAU;gBACV,SAAS;gBACT,UAAU;gBACV,KAAK;gBACL,MAAM;gBACN,OAAO;gBACP,MAAM;gBACN,OAAO;gBACP,MAAM;gBACN,OAAO;gBACP,QAAQ;gBACR,OAAO;gBACP,QAAQ;gBACR,KAAK;gBACL,MAAM;gBACN,OAAO;gBACP,MAAM;gBACN,OAAO;gBACP,MAAM;gBACN,OAAO;gBACP,QAAQ;gBACR,OAAO;gBACP,QAAQ;gBACR,OAAO;gBACP,QAAQ;gBACR,SAAS;gBACT,QAAQ;gBACR,SAAS;gBACT,QAAQ;gBACR,SAAS;gBACT,UAAU;gBACV,SAAS;gBACT,UAAU;gBACV,SAAS;gBACT,UAAU;gBACV,WAAW;gBACX,UAAU;gBACV,WAAW;gBACX,QAAQ;gBACR,SAAS;gBACT,UAAU;gBACV,SAAS;gBACT,UAAU;gBACV,OAAO;gBACP,QAAQ;gBACR,SAAS;gBACT,QAAQ;gBACR,SAAS;gBACT,SAAS;gBACT,UAAU;gBACV,WAAW;gBACX,UAAU;gBACV,WAAW;aACZ;SACF;QACD;YACE,MAAM,EAAE,MAAM;YACd,UAAU,EAAE,CAAC;YACb,OAAO,EAAE,UAAU;YACnB,OAAO,EAAE;gBACP,MAAM;gBACN,SAAS;gBACT,UAAU;gBACV,QAAQ;gBACR,OAAO;gBACP,UAAU;gBACV,UAAU;gBACV,WAAW;gBACX,WAAW;gBACX,YAAY;gBACZ,SAAS;gBACT,QAAQ;gBACR,UAAU;aACX;SACF;QACD;YACE,MAAM,EAAE,UAAU;YAClB,UAAU,EAAE,EAAE;YACd,OAAO,EAAE,UAAU;YACnB,OAAO,EAAE;gBACP,MAAM;gBACN,MAAM;gBACN,IAAI;gBACJ,WAAW;gBACX,SAAS;gBACT,SAAS;gBACT,UAAU;gBACV,SAAS;gBACT,UAAU;gBACV,aAAa;aACd;SACF;QACD;YACE,MAAM,EAAE,MAAM;YACd,UAAU,EAAE,CAAC;YACb,OAAO,EAAE,UAAU;YACnB,OAAO,EAAE;gBACP,MAAM;gBACN,QAAQ;gBACR,UAAU;gBACV,MAAM;gBACN,MAAM;aACP;SACF;QACD;YACE,MAAM,EAAE,MAAM;YACd,UAAU,EAAE,CAAC;YACb,OAAO,EAAE,UAAU;YACnB,OAAO,EAAE;gBACP,MAAM;gBACN,OAAO;gBACP,OAAO;gBACP,cAAc;aACf;SACF;QACD;YACE,MAAM,EAAE,MAAM;YACd,UAAU,EAAE,CAAC;YACb,OAAO,EAAE,UAAU;YACnB,OAAO,EAAE;gBACP,MAAM;gBACN,OAAO;gBACP,aAAa;gBACb,SAAS;gBACT,MAAM;gBACN,QAAQ;gBACR,SAAS;gBACT,OAAO;gBACP,OAAO;gBACP,KAAK;gBACL,MAAM;gBACN,QAAQ;gBACR,gBAAgB;gBAChB,SAAS;gBACT,SAAS;aACV;SACF;QACD;YACE,MAAM,EAAE,KAAK;YACb,UAAU,EAAE,CAAC;YACb,OAAO,EAAE,UAAU;YACnB,OAAO,EAAE;gBACP,QAAQ;gBACR,OAAO;gBACP,SAAS;gBACT,YAAY;gBACZ,YAAY;gBACZ,SAAS;gBACT,MAAM;gBACN,aAAa;gBACb,WAAW;gBACX,MAAM;gBACN,MAAM;gBACN,OAAO;gBACP,OAAO;gBACP,UAAU;aACX;SACF;QACD;YACE,MAAM,EAAE,KAAK;YACb,UAAU,EAAE,CAAC;YACb,OAAO,EAAE,UAAU;YACnB,OAAO,EAAE;gBACP,UAAU;gBACV,UAAU;gBACV,KAAK;gBACL,YAAY;aACb;SACF;QACD;YACE,MAAM,EAAE,KAAK;YACb,UAAU,EAAE,CAAC;YACb,OAAO,EAAE,UAAU;YACnB,OAAO,EAAE;gBACP,KAAK;gBACL,KAAK;gBACL,KAAK;aACN;SACF;QACD;YACE,MAAM,EAAE,KAAK;YACb,UAAU,EAAE,CAAC;YACb,OAAO,EAAE,UAAU;YACnB,OAAO,EAAE;gBACP,SAAS;aACV;SACF;QACD;YACE,MAAM,EAAE,MAAM;YACd,UAAU,EAAE,EAAE;YACd,OAAO,EAAE,YAAY;YACrB,SAAS,EAAE;gBACT,IAAI;gBACJ,IAAI;gBACJ,IAAI;gBACJ,IAAI;gBACJ,IAAI;gBACJ,IAAI;gBACJ,IAAI;aACL;SACF;QACD;YACE,MAAM,EAAE,MAAM;YACd,UAAU,EAAE,CAAC;YACb,OAAO,EAAE,YAAY;YACrB,SAAS,EAAE;gBACT,IAAI;gBACJ,IAAI;gBACJ,IAAI;gBACJ,IAAI;gBACJ,IAAI;gBACJ,IAAI;gBACJ,IAAI;aACL;SACF;QACD;YACE,MAAM,EAAE,KAAK;YACb,UAAU,EAAE,EAAE;YACd,OAAO,EAAE,YAAY;YACrB,SAAS,EAAE;gBACT,IAAI;gBACJ,IAAI;gBACJ,IAAI;gBACJ,IAAI;gBACJ,IAAI;gBACJ,IAAI;gBACJ,IAAI;gBACJ,KAAK;gBACL,IAAI;gBACJ,IAAI;aACL;SACF;QACD;YACE,MAAM,EAAE,OAAO;YACf,UAAU,EAAE,CAAC;YACb,OAAO,EAAE,YAAY;YACrB,SAAS,EAAE;gBACT,IAAI;gBACJ,IAAI;gBACJ,IAAI;gBACJ,KAAK;aACN;SACF;QACD;YACE,MAAM,EAAE,MAAM;YACd,UAAU,EAAE,CAAC;YACb,OAAO,EAAE,YAAY;YACrB,SAAS,EAAE;gBACT,WAAW;gBACX,YAAY;gBACZ,aAAa;gBACb,WAAW;gBACX,aAAa;gBACb,OAAO;gBACP,SAAS;gBACT,aAAa;gBACb,WAAW;gBACX,YAAY;gBACZ,aAAa;gBACb,WAAW;gBACX,eAAe;gBACf,cAAc;aACf;SACF;KACF;CACF,CAAC"}

package/dist/src/parser/naming-rules.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=naming-rules.js.map

package/dist/src/parser/naming-rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"naming-rules.js","sourceRoot":"","sources":["../../../src/parser/naming-rules.ts"],"names":[],"mappings":""}

package/dist/src/parser/type-inference.d.ts

@@ -1,84 +1,43 @@
 /**
- * CNL 字段类型推断引擎
+ * 未标注形参 / 字段的类型推断（ADR 0056 §3.2）。
  *
- * 实现基于命名约定和约束信号的类型推断，使字段定义更接近自然语言。
- *
- * 推断优先级（从高到低）：
- * 1. 显式类型声明（由调用方处理，不在本模块）
- * 2. 约束驱动推断（Range → 数值类型，Pattern → Text）
- * 3. 命名约定推断（*Id → Text, *Amount → Float 等）
- * 4. 默认类型（Text）
+ * 规则表是 aster-lang-locales type-inference/naming-rules.json 的内置副本（naming-rules.generated.ts，
+ * 由 shared/type-inference-naming-rules.json 生成并由 sibling parity 测试守护），与词法表无关：全部规则对所有
+ * 模块生效。算法与 aster-lang-core TypeInference 逐步相同，两侧用 locales 的共用测试向量对照：
+ * 1. 分词：名字只含 ASCII 字母、数字与 `_` 时按 `_` 切段，每段按 WORD 切词并做 ASCII 小写；否则词列表为空；
+ * 2. 逐条判定规则是否命中（首词 / 末词 / 任一词 / 整名前缀后缀）；
+ * 3. 命中规则中 priority 最大者胜，同优先级取表中靠前者，都不命中取缺省类型；
+ * 4. 按约束修正（与约束书写顺序无关）。
  *
  * @example
  * ```typescript
- * // 命名推断
- * inferFieldType('applicantId')     // → Text (匹配 *Id)
- * inferFieldType('loanAmount')      // → Float (匹配 *Amount)
- * inferFieldType('termMonths')      // → Int (匹配 *Months)
- * inferFieldType('isApproved')      // → Bool (匹配 is*)
- *
- * // 约束驱动推断
- * inferFieldType('score', [{ kind: 'Range', min: 0, max: 100 }])  // → Int
- * inferFieldType('rate', [{ kind: 'Range', min: 0.0, max: 1.0 }]) // → Float
+ * inferFieldType('applicantId')   // → Text（末词 id，且词数 ≥ 2）
+ * inferFieldType('loanAmount')    // → Float
+ * inferFieldType('termMonths')    // → Int
+ * inferFieldType('isApproved')    // → Bool
+ * inferFieldType('score', [{ kind: 'Range', min: 0, max: 100, ... }])  // → Int
  * ```
  */
 import type { Constraint, Type } from '../types.js';
-import type { TypeInferenceRule, PrimitiveTypeName } from '../types/type-inference.js';
-import type { Lexicon } from '../config/lexicons/types.js';
-export type { TypeInferenceRule, PrimitiveTypeName };
-/**
- * 默认的字段命名类型推断规则
- *
- * 规则按照常见业务领域设计，覆盖：
- * - 标识符类型（ID、Identifier、Vin）
- * - 金融类型（Amount、Price、Cost）
- * - 计数类型（Count、Number、Age）
- * - 业务指标（Rating、Limit、Premium）
- * - 布尔类型（isXxx、hasXxx、Flag、Sufficient）
- * - 时间类型（Date、Time、At）
- * - 分类类型（Type、Status、Category）
- * - 产品属性（Make、Model）
- */
-/**
- * 语言无关的通用基线命名规则。
- * 语言特定规则（英文布尔前缀、中文前缀、德语后缀等）
- * 已拆分至 config/lexicons/type-inference-rules.ts（overlay 模式）。
- */
-export declare const BASE_NAMING_RULES: readonly TypeInferenceRule[];
+import type { PrimitiveTypeName } from '../types/type-inference.js';
+export type { PrimitiveTypeName };
+/** 第 1 步：分词。名字含 ASCII 字母、数字、`_` 以外的字符时返回空列表。 */
+export declare function tokenize(name: string): string[];
+/** 第 1–3 步：只按名字推断类型名。 */
+export declare function inferTypeNameFromName(name: string): PrimitiveTypeName;
 /**
- * 从约束列表推断类型
- *
- * 推断规则：
- * - Range 约束 → 数值类型（Int 或 Float）
- * - Pattern 约束 → Text
- * - Required 约束 → 不影响类型推断
- *
- * @param constraints 约束列表
- * @returns 推断的类型名，如果无法从约束推断则返回 null
+ * 第 5 步的约束类型：存在 Range 时，任一端点的规范十进制串（ADR 0055 §5）含 `.` 得 Float，否则 Int；
+ * 不存在 Range 而存在 Pattern 时得 Text；其余为 null。
  */
-export declare function inferTypeFromConstraints(constraints: readonly Constraint[]): PrimitiveTypeName | null;
+export declare function constraintType(constraints: readonly Constraint[]): PrimitiveTypeName | null;
+/** 第 5 步：名字推断结果 n 与约束类型 c 合并。 */
+export declare function refine(n: PrimitiveTypeName, c: PrimitiveTypeName | null): PrimitiveTypeName;
 /**
- * 推断字段类型
- *
- * 按优先级尝试推断：
- * 1. 约束驱动推断
- * 2. 命名约定推断
- * 3. 默认类型（Text）
- *
- * @param fieldName 字段名称
- * @param constraints 可选的约束列表
- * @returns 推断的类型 AST 节点
- */
-export declare function inferFieldType(fieldName: string, constraints?: readonly Constraint[], lexicon?: Lexicon): Type;
-/**
- * 根据约束修正已推断的类型
- *
- * 当字段使用推断类型后又解析到约束时，可能需要修正类型。
- * 例如：字段名 `value` 默认推断为 Text，但如果有 Range 约束则应为数值类型。
+ * 推断未标注形参 / 字段的类型：按名字推断，再按约束修正。
  *
- * @param currentType 当前推断的类型
- * @param constraints 约束列表
- * @returns 修正后的类型
+ * @param fieldName 字段 / 形参名
+ * @param constraints 源码写下的约束
+ * @returns 推断的类型 AST 节点（span 由调用方锚定在名字 token，ADR 0056 §3.3）
  */
-export declare function refineInferredType(currentType: Type, constraints: readonly Constraint[]): Type;
+export declare function inferFieldType(fieldName: string, constraints?: readonly Constraint[]): Type;
 //# sourceMappingURL=type-inference.d.ts.map

package/dist/src/parser/type-inference.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-inference.d.ts","sourceRoot":"","sources":["../../../src/parser/type-inference.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAmB,IAAI,EAAE,MAAM,aAAa,CAAC;AACrE,OAAO,KAAK,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AACvF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,6BAA6B,CAAC;AAE3D,YAAY,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,CAAC;AAErD;;;;;;;;;;;;GAYG;AACH;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,SAAS,iBAAiB,EAyBzD,CAAC;AAMF;;;;;;;;;;GAUG;AACH,wBAAgB,wBAAwB,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,GAAG,iBAAiB,GAAG,IAAI,CAqBrG;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,cAAc,CAC5B,SAAS,EAAE,MAAM,EACjB,WAAW,GAAE,SAAS,UAAU,EAAO,EACvC,OAAO,CAAC,EAAE,OAAO,GAChB,IAAI,CAQN;AAED;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAAC,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,UAAU,EAAE,GAAG,IAAI,CA8B9F"}
+{"version":3,"file":"type-inference.d.ts","sourceRoot":"","sources":["../../../src/parser/type-inference.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAmB,IAAI,EAAE,MAAM,aAAa,CAAC;AACrE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAKpE,YAAY,EAAE,iBAAiB,EAAE,CAAC;AAWlC,gDAAgD;AAChD,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAO/C;AAqBD,yBAAyB;AACzB,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,CAOrE;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,GAAG,iBAAiB,GAAG,IAAI,CAI3F;AAWD,iCAAiC;AACjC,wBAAgB,MAAM,CAAC,CAAC,EAAE,iBAAiB,EAAE,CAAC,EAAE,iBAAiB,GAAG,IAAI,GAAG,iBAAiB,CAK3F;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,WAAW,GAAE,SAAS,UAAU,EAAO,GAAG,IAAI,CAE/F"}