aontu 0.30.1 → 0.30.2

package/dist/val/OpBaseVal.js

@@ -0,0 +1,152 @@
+"use strict";
+/* Copyright (c) 2024 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.OpBaseVal = void 0;
+const type_1 = require("../type");
+const err_1 = require("../err");
+const unify_1 = require("../unify");
+const utility_1 = require("../utility");
+const top_1 = require("./top");
+const ConjunctVal_1 = require("./ConjunctVal");
+const FeatureVal_1 = require("./FeatureVal");
+class OpBaseVal extends FeatureVal_1.FeatureVal {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isPlusOp = true;
+        this.peg = [];
+        for (let pI = 0; pI < spec.peg.length; pI++) {
+            this.append(spec.peg[pI]);
+        }
+    }
+    append(part) {
+        this.peg.push(part);
+    }
+    make(ctx, _spec) {
+        return (0, err_1.makeNilErr)(ctx, 'op:' + this.opname(), this, undefined, 'make');
+    }
+    opname() {
+        return 'op';
+    }
+    unify(peer, ctx) {
+        const te = ctx.explain && (0, utility_1.explainOpen)(ctx, ctx.explain, 'Op:' + this.opname(), this, peer);
+        let out = this;
+        if (this.id == peer.id) {
+            return this;
+        }
+        let pegdone = true;
+        let newpeg = [];
+        for (let arg of this.peg) {
+            if (!arg.done) {
+                arg = arg.unify((0, top_1.top)(), ctx, (0, utility_1.ec)(te, 'ARG'));
+            }
+            pegdone &&= arg.done;
+            newpeg.push(arg);
+        }
+        // console.log('OPVAL', this.id, this.opname(), pegdone, newpeg.map(p => p.canon))
+        if (pegdone) {
+            let result = null == ctx ? this : this.operate(ctx, newpeg);
+            result = result || this;
+            if (null == result && this.canon === peer.canon) {
+                out = this;
+            }
+            // TODO: should be result.isOp
+            else if (result instanceof OpBaseVal) {
+                if (peer.isTop) {
+                    out = this;
+                }
+                // TODO: should peer.isNil
+                else if (peer.isNil) {
+                    out = (0, err_1.makeNilErr)(ctx, 'op[' + this.peg + ']', this, peer);
+                }
+                else if (this.canon === peer.canon) {
+                    out = this;
+                }
+                else {
+                    this.dc = type_1.DONE === this.dc ? type_1.DONE : this.dc + 1;
+                    out = new ConjunctVal_1.ConjunctVal({ peg: [this, peer] }, ctx);
+                }
+            }
+            else {
+                out = result.done && peer.isTop ? result :
+                    (0, unify_1.unite)(ctx.clone({ explain: (0, utility_1.ec)(te, 'RES') }), result, peer, 'op');
+            }
+            out.dc = type_1.DONE === out.dc ? type_1.DONE : this.dc + 1;
+        }
+        else if (peer.isTop) {
+            this.notdone();
+            out = this.make(ctx, { peg: newpeg });
+            // TODO: make should handle this using ctx?
+            out.site.row = this.site.row;
+            out.site.col = this.site.col;
+            out.site.url = this.site.url;
+            out.path = this.path;
+            // why += 'top'
+        }
+        else if (peer.isNil) {
+            this.notdone();
+            out = peer;
+            //why += 'nil'
+        }
+        else {
+            this.notdone();
+            out = new ConjunctVal_1.ConjunctVal({ peg: [this, peer] }, ctx);
+            // TODO: make should handle this using ctx?
+            out.site.row = this.site.row;
+            out.site.col = this.site.col;
+            out.site.url = this.site.url;
+            out.path = this.path;
+        }
+        (0, utility_1.explainClose)(te, out);
+        return out;
+    }
+    same(peer) {
+        return null == peer ? false : this.peg === peer.peg;
+    }
+    clone(ctx, _spec) {
+        let out = super.clone(ctx, {
+            peg: this.peg,
+        });
+        return out;
+    }
+    operate(ctx, _args) {
+        return (0, err_1.makeNilErr)(ctx, 'op:' + this.opname(), this, undefined, 'operate');
+    }
+    get canon() {
+        return 'op';
+    }
+    primatize(v) {
+        const t = typeof v;
+        if (null == v || 'string' === t || 'number' === t || 'boolean' === t) {
+            return v;
+        }
+        else if (v?.isVal) {
+            return this.primatize(v.peg);
+        }
+        else if (v?.toString) {
+            return '' + v;
+        }
+        else {
+            return undefined;
+        }
+    }
+    gen(ctx) {
+        // Unresolved op cannot be generated, so always an error.
+        let nil = (0, err_1.makeNilErr)(ctx, 'op', this, undefined);
+        // TODO: refactor to use Site
+        nil.path = this.path;
+        nil.site.url = this.site.url;
+        nil.site.row = this.site.row;
+        nil.site.col = this.site.col;
+        (0, err_1.descErr)(nil, ctx);
+        if (ctx) {
+            // ctx.err.push(nil)
+            ctx.adderr(nil);
+        }
+        else {
+            throw new err_1.AontuError(nil.msg);
+        }
+        return undefined;
+    }
+}
+exports.OpBaseVal = OpBaseVal;
+//# sourceMappingURL=OpBaseVal.js.map

package/dist/val/OpBaseVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"OpBaseVal.js","sourceRoot":"","sources":["../../src/val/OpBaseVal.ts"],"names":[],"mappings":";AAAA,oDAAoD;;;AAQpD,kCAEgB;AAEhB,gCAIe;AAGf,oCAAgC;AAEhC,wCAImB;AAEnB,+BAEc;AAEd,+CAA2C;AAC3C,6CAAyC;AAKzC,MAAM,SAAU,SAAQ,uBAAU;IAGhC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QANlB,aAAQ,GAAG,IAAI,CAAA;QAOb,IAAI,CAAC,GAAG,GAAG,EAAE,CAAA;QAEb,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;YAC5C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;QAC3B,CAAC;IACH,CAAC;IAGD,MAAM,CAAC,IAAS;QACd,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACrB,CAAC;IAGD,IAAI,CAAC,GAAiB,EAAE,KAAc;QACpC,OAAO,IAAA,gBAAU,EAAC,GAAG,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,CAAA;IACxE,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAA;IACb,CAAC;IAGD,KAAK,CAAC,IAAS,EAAE,GAAiB;QAChC,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,IAAI,IAAA,qBAAW,EAAC,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAC1F,IAAI,GAAG,GAAQ,IAAI,CAAA;QAEnB,IAAI,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;YACvB,OAAO,IAAI,CAAA;QACb,CAAC;QAGD,IAAI,OAAO,GAAG,IAAI,CAAA;QAClB,IAAI,MAAM,GAAU,EAAE,CAAA;QAEtB,KAAK,IAAI,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YACzB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;gBACd,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,IAAA,SAAG,GAAE,EAAE,GAAG,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAA;YAC5C,CAAC;YACD,OAAO,KAAK,GAAG,CAAC,IAAI,CAAA;YACpB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAClB,CAAC;QAED,kFAAkF;QAElF,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,MAAM,GAAoB,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;YAE5E,MAAM,GAAG,MAAM,IAAI,IAAI,CAAA;YAEvB,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;gBAChD,GAAG,GAAG,IAAI,CAAA;YACZ,CAAC;YAED,8BAA8B;iBACzB,IAAI,MAAM,YAAY,SAAS,EAAE,CAAC;gBACrC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBACf,GAAG,GAAG,IAAI,CAAA;gBACZ,CAAC;gBACD,0BAA0B;qBACrB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBACpB,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;gBAC3D,CAAC;qBAEI,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;oBACnC,GAAG,GAAG,IAAI,CAAA;gBACZ,CAAC;qBAEI,CAAC;oBACJ,IAAI,CAAC,EAAE,GAAG,WAAI,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;oBAC/C,GAAG,GAAG,IAAI,yBAAW,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;gBACnD,CAAC;YACH,CAAC;iBACI,CAAC;gBACJ,GAAG,GAAG,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;oBACxC,IAAA,aAAK,EAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;YACpE,CAAC;YAED,GAAG,CAAC,EAAE,GAAG,WAAI,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;QAC/C,CAAC;aACI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACpB,IAAI,CAAC,OAAO,EAAE,CAAA;YACd,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAA;YAErC,2CAA2C;YAC3C,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;YAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;YAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;YAC5B,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;YAEpB,eAAe;QACjB,CAAC;aACI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACpB,IAAI,CAAC,OAAO,EAAE,CAAA;YACd,GAAG,GAAG,IAAI,CAAA;YACV,cAAc;QAChB,CAAC;aACI,CAAC;YACJ,IAAI,CAAC,OAAO,EAAE,CAAA;YACd,GAAG,GAAG,IAAI,yBAAW,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;YAEjD,2CAA2C;YAC3C,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;YAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;YAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;YAC5B,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QACtB,CAAC;QAED,IAAA,sBAAY,EAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QAErB,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,CAAC,IAAS;QACZ,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAA;IACrD,CAAC;IAGD,KAAK,CAAC,GAAiB,EAAE,KAAe;QACtC,IAAI,GAAG,GAAI,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE;YAC1B,GAAG,EAAE,IAAI,CAAC,GAAG;SACd,CAAe,CAAA;QAChB,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,OAAO,CAAC,GAAiB,EAAE,KAAY;QACrC,OAAO,IAAA,gBAAU,EAAC,GAAG,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,CAAA;IAC3E,CAAC;IAGD,IAAI,KAAK;QACP,OAAO,IAAI,CAAA;IACb,CAAC;IAGD,SAAS,CAAC,CAAM;QACd,MAAM,CAAC,GAAG,OAAO,CAAC,CAAA;QAClB,IAAI,IAAI,IAAI,CAAC,IAAI,QAAQ,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;YACrE,OAAO,CAAC,CAAA;QACV,CAAC;aACI,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC;YAClB,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;QAC9B,CAAC;aACI,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC;YACrB,OAAO,EAAE,GAAG,CAAC,CAAA;QACf,CAAC;aACI,CAAC;YACJ,OAAO,SAAS,CAAA;QAClB,CAAC;IACH,CAAC;IAGD,GAAG,CAAC,GAAkB;QACpB,yDAAyD;QACzD,IAAI,GAAG,GAAG,IAAA,gBAAU,EAClB,GAAG,EACH,IAAI,EACJ,IAAI,EACJ,SAAS,CACV,CAAA;QAED,6BAA6B;QAC7B,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QACpB,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAE5B,IAAA,aAAO,EAAC,GAAG,EAAE,GAAG,CAAC,CAAA;QAEjB,IAAI,GAAG,EAAE,CAAC;YACR,oBAAoB;YACpB,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QACjB,CAAC;aACI,CAAC;YACJ,MAAM,IAAI,gBAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC/B,CAAC;QAED,OAAO,SAAS,CAAA;IAClB,CAAC;CACF;AAIC,8BAAS"}

package/dist/val/OpenFuncVal.d.ts

@@ -0,0 +1,11 @@
+import type { Val, ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { FuncBaseVal } from './FuncBaseVal';
+declare class OpenFuncVal extends FuncBaseVal {
+    isOpenFunc: boolean;
+    constructor(spec: ValSpec, ctx?: AontuContext);
+    make(_ctx: AontuContext, spec: ValSpec): Val;
+    funcname(): string;
+    resolve(ctx: AontuContext | undefined, args: Val[]): any;
+}
+export { OpenFuncVal, };

package/dist/val/OpenFuncVal.js

@@ -0,0 +1,30 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.OpenFuncVal = void 0;
+const err_1 = require("../err");
+const FuncBaseVal_1 = require("./FuncBaseVal");
+class OpenFuncVal extends FuncBaseVal_1.FuncBaseVal {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isOpenFunc = true;
+    }
+    make(_ctx, spec) {
+        return new OpenFuncVal(spec);
+    }
+    funcname() {
+        return 'open';
+    }
+    resolve(ctx, args) {
+        const argval = args[0];
+        if (null == argval) {
+            return (0, err_1.makeNilErr)(ctx, 'no_first_arg', this, undefined, 'close');
+        }
+        if (argval.isMap || argval.isList) {
+            argval.closed = false;
+        }
+        return argval;
+    }
+}
+exports.OpenFuncVal = OpenFuncVal;
+//# sourceMappingURL=OpenFuncVal.js.map

package/dist/val/OpenFuncVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"OpenFuncVal.js","sourceRoot":"","sources":["../../src/val/OpenFuncVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAYzD,gCAAmC;AAGnC,+CAA2C;AAK3C,MAAM,WAAY,SAAQ,yBAAW;IAGnC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QANlB,eAAU,GAAG,IAAI,CAAA;IAOjB,CAAC;IAGD,IAAI,CAAC,IAAkB,EAAE,IAAa;QACpC,OAAO,IAAI,WAAW,CAAC,IAAI,CAAC,CAAA;IAC9B,CAAC;IAED,QAAQ;QACN,OAAO,MAAM,CAAA;IACf,CAAC;IAGD,OAAO,CAAC,GAA6B,EAAE,IAAW;QAChD,MAAM,MAAM,GAAQ,IAAI,CAAC,CAAC,CAAC,CAAA;QAE3B,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YACnB,OAAO,IAAA,gBAAU,EAAC,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;QAClE,CAAC;QAED,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YACjC,MAAiB,CAAC,MAAM,GAAG,KAAK,CAAA;QACnC,CAAC;QAED,OAAO,MAAM,CAAA;IACf,CAAC;CAEF;AAIC,kCAAW"}

package/dist/val/PathFuncVal.d.ts

@@ -0,0 +1,13 @@
+import type { Val, ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { FuncBaseVal } from './FuncBaseVal';
+declare class PathFuncVal extends FuncBaseVal {
+    isPathFunc: boolean;
+    prepared: number;
+    constructor(spec: ValSpec, ctx?: AontuContext);
+    make(_ctx: AontuContext, spec: ValSpec): Val;
+    funcname(): string;
+    prepare(ctx: AontuContext, args: Val[]): Val[];
+    resolve(ctx: AontuContext, args: Val[]): Val;
+}
+export { PathFuncVal, };

package/dist/val/PathFuncVal.js

@@ -0,0 +1,42 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PathFuncVal = void 0;
+const err_1 = require("../err");
+const RefVal_1 = require("../val/RefVal");
+const FuncBaseVal_1 = require("./FuncBaseVal");
+class PathFuncVal extends FuncBaseVal_1.FuncBaseVal {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isPathFunc = true;
+        this.prepared = 0;
+    }
+    make(_ctx, spec) {
+        const pathfunc = new PathFuncVal(spec);
+        pathfunc.prepared = this.prepared;
+        return pathfunc;
+    }
+    funcname() {
+        return 'path';
+    }
+    prepare(ctx, args) {
+        let arg = args[0];
+        if (0 === this.prepared) {
+            if (arg.isScalar) {
+                arg = this.place(new RefVal_1.RefVal({ peg: [arg], absolute: false }));
+            }
+            else if (!arg.isRef) {
+                arg = (0, err_1.makeNilErr)(ctx, 'invalid-arg', this);
+            }
+        }
+        args[0] = arg;
+        this.prepared++;
+        return args;
+    }
+    resolve(ctx, args) {
+        let out = args[0] ?? (0, err_1.makeNilErr)(ctx, 'arg', this);
+        return out;
+    }
+}
+exports.PathFuncVal = PathFuncVal;
+//# sourceMappingURL=PathFuncVal.js.map

package/dist/val/PathFuncVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"PathFuncVal.js","sourceRoot":"","sources":["../../src/val/PathFuncVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAYzD,gCAAmC;AAGnC,0CAAsC;AACtC,+CAA2C;AAG3C,MAAM,WAAY,SAAQ,yBAAW;IAKnC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QARlB,eAAU,GAAG,IAAI,CAAA;QAEjB,aAAQ,GAAG,CAAC,CAAA;IAOZ,CAAC;IAGD,IAAI,CAAC,IAAkB,EAAE,IAAa;QACpC,MAAM,QAAQ,GAAG,IAAI,WAAW,CAAC,IAAI,CAAC,CAAA;QACtC,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAA;QACjC,OAAO,QAAQ,CAAA;IACjB,CAAC;IAED,QAAQ;QACN,OAAO,MAAM,CAAA;IACf,CAAC;IAGD,OAAO,CAAC,GAAiB,EAAE,IAAW;QACpC,IAAI,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QAEjB,IAAI,CAAC,KAAK,IAAI,CAAC,QAAQ,EAAE,CAAC;YACxB,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjB,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,eAAM,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;YAC/D,CAAC;iBACI,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;gBACpB,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,aAAa,EAAE,IAAI,CAAC,CAAA;YAC5C,CAAC;QACH,CAAC;QAED,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,CAAA;QAEb,IAAI,CAAC,QAAQ,EAAE,CAAA;QAEf,OAAO,IAAI,CAAA;IACb,CAAC;IAGD,OAAO,CAAC,GAAiB,EAAE,IAAW;QACpC,IAAI,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,IAAA,gBAAU,EAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;QAEjD,OAAO,GAAG,CAAA;IACZ,CAAC;CAEF;AAIC,kCAAW"}

package/dist/val/PlusOpVal.d.ts

@@ -0,0 +1,16 @@
+import type { Val, ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { IntegerVal } from '../val/IntegerVal';
+import { NumberVal } from '../val/NumberVal';
+import { StringVal } from '../val/StringVal';
+import { BooleanVal } from '../val/BooleanVal';
+import { OpBaseVal } from './OpBaseVal';
+declare class PlusOpVal extends OpBaseVal {
+    isPlusOp: boolean;
+    constructor(spec: ValSpec, ctx?: AontuContext);
+    make(_ctx: AontuContext, spec: ValSpec): Val;
+    opname(): string;
+    operate(_ctx: AontuContext, args: Val[]): BooleanVal | IntegerVal | NumberVal | StringVal | undefined;
+    get canon(): string;
+}
+export { PlusOpVal, };

package/dist/val/PlusOpVal.js

@@ -0,0 +1,59 @@
+"use strict";
+/* Copyright (c) 2024-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PlusOpVal = void 0;
+const IntegerVal_1 = require("../val/IntegerVal");
+const NumberVal_1 = require("../val/NumberVal");
+const StringVal_1 = require("../val/StringVal");
+const BooleanVal_1 = require("../val/BooleanVal");
+const OpBaseVal_1 = require("./OpBaseVal");
+class PlusOpVal extends OpBaseVal_1.OpBaseVal {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isPlusOp = true;
+    }
+    make(_ctx, spec) {
+        return new PlusOpVal(spec);
+    }
+    opname() {
+        return 'plus';
+    }
+    operate(_ctx, args) {
+        let a = this.primatize(args[0]?.peg);
+        let b = this.primatize(args[1]?.peg);
+        let peg = undefined;
+        if (undefined === a && undefined !== b) {
+            peg = b;
+        }
+        else if (undefined === b && undefined !== a) {
+            peg = a;
+        }
+        else {
+            const at = typeof a;
+            const bt = typeof b;
+            if ('boolean' === at && 'boolean' === bt) {
+                peg = a || b;
+            }
+            else {
+                peg = a + b;
+            }
+        }
+        let pegtype = typeof peg;
+        let out = undefined;
+        if ('string' === pegtype) {
+            out = new StringVal_1.StringVal({ peg });
+        }
+        else if ('boolean' === pegtype) {
+            out = new BooleanVal_1.BooleanVal({ peg });
+        }
+        else if ('number' === pegtype) {
+            out = Number.isInteger(peg) ? new IntegerVal_1.IntegerVal({ peg }) : new NumberVal_1.NumberVal({ peg });
+        }
+        return out;
+    }
+    get canon() {
+        return this.peg[0]?.canon + '+' + this.peg[1]?.canon;
+    }
+}
+exports.PlusOpVal = PlusOpVal;
+//# sourceMappingURL=PlusOpVal.js.map

package/dist/val/PlusOpVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"PlusOpVal.js","sourceRoot":"","sources":["../../src/val/PlusOpVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAezD,kDAA8C;AAC9C,gDAA4C;AAC5C,gDAA4C;AAC5C,kDAA8C;AAC9C,2CAAuC;AAGvC,MAAM,SAAU,SAAQ,qBAAS;IAG/B,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QANlB,aAAQ,GAAG,IAAI,CAAA;IAOf,CAAC;IAGD,IAAI,CAAC,IAAkB,EAAE,IAAa;QACpC,OAAO,IAAI,SAAS,CAAC,IAAI,CAAC,CAAA;IAC5B,CAAC;IAED,MAAM;QACJ,OAAO,MAAM,CAAA;IACf,CAAC;IAGD,OAAO,CAAC,IAAkB,EAAE,IAAW;QACrC,IAAI,CAAC,GAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;QACzC,IAAI,CAAC,GAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;QAEzC,IAAI,GAAG,GAAG,SAAS,CAAA;QACnB,IAAI,SAAS,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;YACvC,GAAG,GAAG,CAAC,CAAA;QACT,CAAC;aACI,IAAI,SAAS,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;YAC5C,GAAG,GAAG,CAAC,CAAA;QACT,CAAC;aACI,CAAC;YACJ,MAAM,EAAE,GAAG,OAAO,CAAC,CAAA;YACnB,MAAM,EAAE,GAAG,OAAO,CAAC,CAAA;YACnB,IAAI,SAAS,KAAK,EAAE,IAAI,SAAS,KAAK,EAAE,EAAE,CAAC;gBACzC,GAAG,GAAG,CAAC,IAAI,CAAC,CAAA;YACd,CAAC;iBACI,CAAC;gBACJ,GAAG,GAAG,CAAC,GAAG,CAAC,CAAA;YACb,CAAC;QACH,CAAC;QAED,IAAI,OAAO,GAAG,OAAO,GAAG,CAAA;QAExB,IAAI,GAAG,GAAG,SAAS,CAAA;QAEnB,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;YACzB,GAAG,GAAG,IAAI,qBAAS,CAAC,EAAE,GAAG,EAAE,CAAC,CAAA;QAC9B,CAAC;aACI,IAAI,SAAS,KAAK,OAAO,EAAE,CAAC;YAC/B,GAAG,GAAG,IAAI,uBAAU,CAAC,EAAE,GAAG,EAAE,CAAC,CAAA;QAC/B,CAAC;aACI,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;YAC9B,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,uBAAU,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,qBAAS,CAAC,EAAE,GAAG,EAAE,CAAC,CAAA;QAChF,CAAC;QAED,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAA;IACtD,CAAC;CAEF;AAIC,8BAAS"}

package/dist/val/PrefFuncVal.d.ts

@@ -0,0 +1,11 @@
+import type { Val, ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { FuncBaseVal } from './FuncBaseVal';
+declare class PrefFuncVal extends FuncBaseVal {
+    isPrefFunc: boolean;
+    constructor(spec: ValSpec, ctx?: AontuContext);
+    make(_ctx: AontuContext, spec: ValSpec): Val;
+    funcname(): string;
+    resolve(ctx: AontuContext, args: Val[]): Val;
+}
+export { PrefFuncVal, };

package/dist/val/PrefFuncVal.js

@@ -0,0 +1,39 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PrefFuncVal = void 0;
+const err_1 = require("../err");
+const utility_1 = require("../utility");
+const PrefVal_1 = require("../val/PrefVal");
+const FuncBaseVal_1 = require("./FuncBaseVal");
+class PrefFuncVal extends FuncBaseVal_1.FuncBaseVal {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isPrefFunc = true;
+    }
+    make(_ctx, spec) {
+        return new PrefFuncVal(spec);
+    }
+    funcname() {
+        return 'pref';
+    }
+    resolve(ctx, args) {
+        let out = args[0] ?? (0, err_1.makeNilErr)(ctx, 'arg', this);
+        if (!out.isNil) {
+            out = out.clone(ctx);
+            // Wrap every child val in a PrefVal
+            out = (0, utility_1.walk)(out, (_key, val) => {
+                let oval = val;
+                // console.log('PREFVAL', _key, oval.canon, oval.constructor.name)
+                if (val.isScalar
+                    || val.isPref) {
+                    oval = new PrefVal_1.PrefVal({ peg: val }, ctx);
+                }
+                return oval;
+            });
+        }
+        return out;
+    }
+}
+exports.PrefFuncVal = PrefFuncVal;
+//# sourceMappingURL=PrefFuncVal.js.map

package/dist/val/PrefFuncVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"PrefFuncVal.js","sourceRoot":"","sources":["../../src/val/PrefFuncVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAYzD,gCAAmC;AAEnC,wCAEmB;AAGnB,4CAAwC;AACxC,+CAA2C;AAG3C,MAAM,WAAY,SAAQ,yBAAW;IAGnC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QANlB,eAAU,GAAG,IAAI,CAAA;IAOjB,CAAC;IAGD,IAAI,CAAC,IAAkB,EAAE,IAAa;QACpC,OAAO,IAAI,WAAW,CAAC,IAAI,CAAC,CAAA;IAC9B,CAAC;IAED,QAAQ;QACN,OAAO,MAAM,CAAA;IACf,CAAC;IAGD,OAAO,CAAC,GAAiB,EAAE,IAAW;QACpC,IAAI,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,IAAA,gBAAU,EAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;QAEjD,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;YACf,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;YAEpB,oCAAoC;YACpC,GAAG,GAAG,IAAA,cAAI,EAAC,GAAG,EAAE,CAAC,IAAiC,EAAE,GAAQ,EAAE,EAAE;gBAC9D,IAAI,IAAI,GAAG,GAAG,CAAA;gBACd,kEAAkE;gBAClE,IACE,GAAG,CAAC,QAAQ;uBACT,GAAG,CAAC,MAAM,EACb,CAAC;oBACD,IAAI,GAAG,IAAI,iBAAO,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAA;gBACvC,CAAC;gBAED,OAAO,IAAI,CAAA;YACb,CAAC,CAAC,CAAA;QACJ,CAAC;QAED,OAAO,GAAG,CAAA;IACZ,CAAC;CAEF;AAIC,kCAAW"}

package/dist/val/PrefVal.d.ts

@@ -0,0 +1,15 @@
+import type { Val, ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { FeatureVal } from './FeatureVal';
+declare class PrefVal extends FeatureVal {
+    isPref: boolean;
+    superpeg: Val;
+    rank: number;
+    constructor(spec: ValSpec, ctx?: AontuContext);
+    unify(peer: Val, ctx: AontuContext): Val;
+    same(peer: Val): boolean;
+    clone(ctx: AontuContext, spec?: ValSpec): Val;
+    get canon(): string;
+    gen(ctx?: AontuContext): any;
+}
+export { PrefVal, };

package/dist/val/PrefVal.js

@@ -0,0 +1,104 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PrefVal = void 0;
+const type_1 = require("../type");
+const unify_1 = require("../unify");
+const err_1 = require("../err");
+const utility_1 = require("../utility");
+const top_1 = require("./top");
+const FeatureVal_1 = require("./FeatureVal");
+class PrefVal extends FeatureVal_1.FeatureVal {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isPref = true;
+        this.rank = 0;
+        // this.pref = spec.pref || spec.peg
+        // this.superpeg = makeSuper(spec.peg)
+        if (spec.peg instanceof PrefVal) {
+            this.rank = 1 + spec.peg.rank;
+        }
+        this.superpeg = this.peg.superior();
+        // console.log('PVC', this.peg.canon, this.superpeg.canon)
+    }
+    // PrefVal unify always returns a PrefVal
+    // PrefVals can only be removed by becoming Nil in a Disjunct
+    unify(peer, ctx) {
+        peer = peer ?? (0, top_1.top)();
+        const te = ctx.explain && (0, utility_1.explainOpen)(ctx, ctx.explain, 'Pref', this, peer);
+        let done = true;
+        let out = this;
+        let why = '';
+        if (!this.peg.done) {
+            const resolved = (0, unify_1.unite)(ctx.clone({ explain: (0, utility_1.ec)(te, 'RES') }), this.peg, (0, top_1.top)(), 'pref/resolve');
+            // console.log('PREF-RESOLVED', this.peg.canon, '->', resolved)
+            this.peg = resolved;
+        }
+        if (peer instanceof PrefVal) {
+            why += 'pref-';
+            if (this.rank < peer.rank) {
+                out = this;
+                why += 'rank-win';
+            }
+            else if (peer.rank < this.rank) {
+                out = peer;
+                why += 'rank-lose';
+            }
+            else {
+                let peg = (0, unify_1.unite)(ctx.clone({ explain: (0, utility_1.ec)(te, 'PEER') }), this.peg, peer.peg, 'pref-peer/' + this.id);
+                out = new PrefVal({ peg }, ctx);
+                why += 'rank-same';
+            }
+        }
+        else if (!peer.isTop) {
+            why += 'super-';
+            // if (this.superpeg instanceof Nil) {
+            //   out = peer
+            //   why += 'nil'
+            // }
+            // else {
+            //   why += 'unify'
+            out = (0, unify_1.unite)(ctx.clone({ explain: (0, utility_1.ec)(te, 'SUPER') }), this.superpeg, peer, 'pref-super/' + this.id);
+            if (out.same(this.superpeg)) {
+                out = this.peg;
+                why += 'same';
+            }
+            // }
+        }
+        else {
+            why += 'none';
+        }
+        out.dc = done ? type_1.DONE : this.dc + 1;
+        // console.log('PREFVAL-OUT', why, this.canon, peer.canon, '->', out.canon, out.done)
+        (0, utility_1.explainClose)(te, out);
+        return out;
+    }
+    same(peer) {
+        if (null == peer) {
+            return false;
+        }
+        let pegsame = (this.peg === peer.peg) ||
+            (this.peg.isVal && this.peg.same(peer.peg));
+        return pegsame;
+    }
+    clone(ctx, spec) {
+        let out = super.clone(ctx, spec);
+        // out.pref = this.pref.clone(null, ctx)
+        return out;
+    }
+    get canon() {
+        // return this.pref instanceof Nil ? this.peg.canon : '*' + this.pref.canon
+        return '*' + this.peg.canon;
+    }
+    gen(ctx) {
+        let val = this.peg;
+        if (val.isNil) {
+            if (null == ctx) {
+                throw new err_1.AontuError(val.msg);
+            }
+        }
+        return val.gen(ctx);
+    }
+}
+exports.PrefVal = PrefVal;
+//# sourceMappingURL=PrefVal.js.map

package/dist/val/PrefVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"PrefVal.js","sourceRoot":"","sources":["../../src/val/PrefVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAOzD,kCAEgB;AAGhB,oCAAgC;AAChC,gCAAmC;AAEnC,wCAImB;AAGnB,+BAA2B;AAE3B,6CAAyC;AAGzC,MAAM,OAAQ,SAAQ,uBAAU;IAM9B,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QATlB,WAAM,GAAG,IAAI,CAAA;QAGb,SAAI,GAAW,CAAC,CAAA;QAOd,oCAAoC;QAEpC,sCAAsC;QAEtC,IAAI,IAAI,CAAC,GAAG,YAAY,OAAO,EAAE,CAAC;YAChC,IAAI,CAAC,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAA;QAC/B,CAAC;QAED,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAA;QACnC,0DAA0D;IAC5D,CAAC;IAGD,yCAAyC;IACzC,6DAA6D;IAC7D,KAAK,CAAC,IAAS,EAAE,GAAiB;QAChC,IAAI,GAAG,IAAI,IAAI,IAAA,SAAG,GAAE,CAAA;QAEpB,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,IAAI,IAAA,qBAAW,EAAC,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAC3E,IAAI,IAAI,GAAG,IAAI,CAAA;QACf,IAAI,GAAG,GAAQ,IAAI,CAAA;QACnB,IAAI,GAAG,GAAG,EAAE,CAAA;QAGZ,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YACnB,MAAM,QAAQ,GAAG,IAAA,aAAK,EAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,IAAA,SAAG,GAAE,EAAE,cAAc,CAAC,CAAA;YAC9F,+DAA+D;YAC/D,IAAI,CAAC,GAAG,GAAG,QAAQ,CAAA;QACrB,CAAC;QAGD,IAAI,IAAI,YAAY,OAAO,EAAE,CAAC;YAC5B,GAAG,IAAI,OAAO,CAAA;YACd,IAAI,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC1B,GAAG,GAAG,IAAI,CAAA;gBACV,GAAG,IAAI,UAAU,CAAA;YACnB,CAAC;iBACI,IAAI,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC/B,GAAG,GAAG,IAAI,CAAA;gBACV,GAAG,IAAI,WAAW,CAAA;YACpB,CAAC;iBACI,CAAC;gBACJ,IAAI,GAAG,GAAG,IAAA,aAAK,EAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,YAAY,GAAG,IAAI,CAAC,EAAE,CAAC,CAAA;gBACnG,GAAG,GAAG,IAAI,OAAO,CAAC,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAA;gBAC/B,GAAG,IAAI,WAAW,CAAA;YACpB,CAAC;QACH,CAAC;aACI,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YACrB,GAAG,IAAI,QAAQ,CAAA;YAEf,sCAAsC;YACtC,eAAe;YACf,iBAAiB;YACjB,IAAI;YACJ,SAAS;YACT,mBAAmB;YAEnB,GAAG,GAAG,IAAA,aAAK,EAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,aAAa,GAAG,IAAI,CAAC,EAAE,CAAC,CAAA;YAClG,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC5B,GAAG,GAAG,IAAI,CAAC,GAAG,CAAA;gBACd,GAAG,IAAI,MAAM,CAAA;YACf,CAAC;YAED,IAAI;QACN,CAAC;aACI,CAAC;YACJ,GAAG,IAAI,MAAM,CAAA;QACf,CAAC;QAED,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;QAElC,qFAAqF;QAErF,IAAA,sBAAY,EAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QAErB,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,CAAC,IAAS;QACZ,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;YACjB,OAAO,KAAK,CAAA;QACd,CAAC;QAED,IAAI,OAAO,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAC;YACnC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;QAE7C,OAAO,OAAO,CAAA;IAChB,CAAC;IAGD,KAAK,CAAC,GAAiB,EAAE,IAAc;QACrC,IAAI,GAAG,GAAI,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAa,CAAA;QAC7C,wCAAwC;QACxC,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,KAAK;QACP,2EAA2E;QAC3E,OAAO,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAA;IAC7B,CAAC;IAGD,GAAG,CAAC,GAAkB;QACpB,IAAI,GAAG,GAAG,IAAI,CAAC,GAAG,CAAA;QAElB,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;YACd,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;gBAChB,MAAM,IAAI,gBAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAC/B,CAAC;QACH,CAAC;QAED,OAAO,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACrB,CAAC;CACF;AAIC,0BAAO"}

package/dist/val/RefVal.d.ts

@@ -0,0 +1,22 @@
+import type { Val, ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { FeatureVal } from './FeatureVal';
+declare class RefVal extends FeatureVal {
+    isRef: boolean;
+    absolute: boolean;
+    prefix: boolean;
+    constructor(spec: {
+        peg: any[];
+        absolute?: boolean;
+        prefix?: boolean;
+    }, ctx?: AontuContext);
+    append(part: any): void;
+    unify(peer: Val, ctx: AontuContext): Val;
+    find(ctx: AontuContext): Val | undefined;
+    same(peer: Val): boolean;
+    clone(ctx: AontuContext, spec?: ValSpec): Val;
+    get canon(): string;
+    gen(ctx: AontuContext): undefined;
+    inspection(): string;
+}
+export { RefVal, };