occam-verify-cli 0.0.1094 → 0.0.1096

package/lib/constructor/bracketed.js

@@ -18,9 +18,7 @@ _export(exports, {
 });
 var _shim = /*#__PURE__*/ _interop_require_default(require("../shim"));
 var _constructor = /*#__PURE__*/ _interop_require_wildcard(require("../constructor"));
-var _term = /*#__PURE__*/ _interop_require_default(require("../nodeAndTokens/term"));
-var _typeNames = require("../typeNames");
-var _nominal = require("../utilities/nominal");
+var _constructor1 = /*#__PURE__*/ _interop_require_default(require("../context/bracketed/constructor"));
 function _assert_this_initialized(self) {
     if (self === void 0) {
         throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
@@ -140,29 +138,8 @@ function _is_native_reflect_construct() {
         return !!result;
     })();
 }
-var getLexer = function() {
-    var lexer = _nominal.nominalLexer; ///
-    return lexer;
-}, getParser = function() {
-    var parser = _nominal.nominalParser; ///
-    return parser;
-}, nodeAsTokens = function(node) {
-    var tokens = termTokens; ///
-    return tokens;
-}, nodeAsString = function(node) {
-    var string = termString; ///
-    return string;
-}, tokensAsString = function(tokens) {
-    var string = termNode; ///
-    return string;
-}, context = {
-    getLexer: getLexer,
-    getParser: getParser,
-    nodeAsTokens: nodeAsTokens,
-    nodeAsString: nodeAsString,
-    tokensAsString: tokensAsString
-}, termString = "(".concat(_typeNames.OBJECT_TYPE_NAME, ")"), termNodeAndTokens = _term.default.fromTermString(termString, context), termTokens = termNodeAndTokens.getTermTokens(), termNode = termNodeAndTokens.getTermNode();
-var bracketedTermNode = termNode; ///
+var constructorBracketedContext = _constructor1.default.fromNothing();
+var bracketedTermNode = constructorBracketedContext.getBracketedTermNode();
 var BracketedConstructor = /*#__PURE__*/ function(Constructor) {
     _inherits(BracketedConstructor, Constructor);
     function BracketedConstructor() {
@@ -173,7 +150,7 @@ var BracketedConstructor = /*#__PURE__*/ function(Constructor) {
         {
             key: "fromNothing",
             value: function fromNothing() {
-                var Term = _shim.default.Term, term = Term.fromTermNode(termNode, context), type = null, string = (0, _constructor.stringFromTermAndType)(term, type), bracketedConstructor = new BracketedConstructor(string, term);
+                var Term = _shim.default.Term, termNode = bracketedTermNode, context = constructorBracketedContext, term = Term.fromTermNode(termNode, context), type = null, string = (0, _constructor.stringFromTermAndType)(term, type), bracketedConstructor = new BracketedConstructor(string, term);
                 return bracketedConstructor;
             }
         }
@@ -181,4 +158,4 @@ var BracketedConstructor = /*#__PURE__*/ function(Constructor) {
     return BracketedConstructor;
 }(_constructor.default);
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb25zdHJ1Y3Rvci9icmFja2V0ZWQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBzaGltIGZyb20gXCIuLi9zaGltXCI7XG5pbXBvcnQgQ29uc3RydWN0b3IgZnJvbSBcIi4uL2NvbnN0cnVjdG9yXCI7XG5pbXBvcnQgVGVybU5vZGVBbmRUb2tlbnMgZnJvbSBcIi4uL25vZGVBbmRUb2tlbnMvdGVybVwiO1xuXG5pbXBvcnQgeyBPQkpFQ1RfVFlQRV9OQU1FIH0gZnJvbSBcIi4uL3R5cGVOYW1lc1wiO1xuaW1wb3J0IHsgc3RyaW5nRnJvbVRlcm1BbmRUeXBlIH0gZnJvbSBcIi4uL2NvbnN0cnVjdG9yXCI7XG5pbXBvcnQgeyBub21pbmFsTGV4ZXIsIG5vbWluYWxQYXJzZXIgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL25vbWluYWxcIjtcblxuY29uc3QgZ2V0TGV4ZXIgPSAoKSA9PiB7XG4gICAgICAgIGNvbnN0IGxleGVyID0gbm9taW5hbExleGVyOyAvLy9cblxuICAgICAgICByZXR1cm4gbGV4ZXI7XG4gICAgICB9LFxuICAgICAgZ2V0UGFyc2VyID0gKCkgPT4ge1xuICAgICAgICBjb25zdCBwYXJzZXIgPSBub21pbmFsUGFyc2VyOyAvLy9cblxuICAgICAgICByZXR1cm4gcGFyc2VyO1xuICAgICAgfSxcbiAgICAgIG5vZGVBc1Rva2VucyA9IChub2RlKSA9PiB7XG4gICAgICAgIGNvbnN0IHRva2VucyA9IHRlcm1Ub2tlbnM7IC8vL1xuXG4gICAgICAgIHJldHVybiB0b2tlbnM7XG4gICAgICB9LFxuICAgICAgbm9kZUFzU3RyaW5nID0gKG5vZGUpID0+IHtcbiAgICAgICAgY29uc3Qgc3RyaW5nID0gdGVybVN0cmluZzsgIC8vL1xuXG4gICAgICAgIHJldHVybiBzdHJpbmc7XG4gICAgICB9LFxuICAgICAgdG9rZW5zQXNTdHJpbmcgPSAodG9rZW5zKSA9PiB7XG4gICAgICAgIGNvbnN0IHN0cmluZyA9IHRlcm1Ob2RlOyAgLy8vXG5cbiAgICAgICAgcmV0dXJuIHN0cmluZztcbiAgICAgIH0sXG4gICAgICBjb250ZXh0ID0ge1xuICAgICAgICBnZXRMZXhlcixcbiAgICAgICAgZ2V0UGFyc2VyLFxuICAgICAgICBub2RlQXNUb2tlbnMsXG4gICAgICAgIG5vZGVBc1N0cmluZyxcbiAgICAgICAgdG9rZW5zQXNTdHJpbmdcbiAgICAgIH0sXG4gICAgICB0ZXJtU3RyaW5nID0gYCgke09CSkVDVF9UWVBFX05BTUV9KWAsXG4gICAgICB0ZXJtTm9kZUFuZFRva2VucyA9IFRlcm1Ob2RlQW5kVG9rZW5zLmZyb21UZXJtU3RyaW5nKHRlcm1TdHJpbmcsIGNvbnRleHQpLFxuICAgICAgdGVybVRva2VucyA9IHRlcm1Ob2RlQW5kVG9rZW5zLmdldFRlcm1Ub2tlbnMoKSxcbiAgICAgIHRlcm1Ob2RlID0gdGVybU5vZGVBbmRUb2tlbnMuZ2V0VGVybU5vZGUoKTtcblxuZXhwb3J0IGNvbnN0IGJyYWNrZXRlZFRlcm1Ob2RlID0gdGVybU5vZGU7ICAvLy9cblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgQnJhY2tldGVkQ29uc3RydWN0b3IgZXh0ZW5kcyBDb25zdHJ1Y3RvciB7XG4gIHN0YXRpYyBmcm9tTm90aGluZygpIHtcbiAgICBjb25zdCB7IFRlcm0gfSA9IHNoaW0sXG4gICAgICAgICAgdGVybSA9IFRlcm0uZnJvbVRlcm1Ob2RlKHRlcm1Ob2RlLCBjb250ZXh0KSxcbiAgICAgICAgICB0eXBlID0gbnVsbCxcbiAgICAgICAgICBzdHJpbmcgPSBzdHJpbmdGcm9tVGVybUFuZFR5cGUodGVybSwgdHlwZSksXG4gICAgICAgICAgYnJhY2tldGVkQ29uc3RydWN0b3IgPSBuZXcgQnJhY2tldGVkQ29uc3RydWN0b3Ioc3RyaW5nLCB0ZXJtKTtcblxuICAgIHJldHVybiBicmFja2V0ZWRDb25zdHJ1Y3RvcjtcbiAgfVxufVxuIl0sIm5hbWVzIjpbImJyYWNrZXRlZFRlcm1Ob2RlIiwiQnJhY2tldGVkQ29uc3RydWN0b3IiLCJnZXRMZXhlciIsImxleGVyIiwibm9taW5hbExleGVyIiwiZ2V0UGFyc2VyIiwicGFyc2VyIiwibm9taW5hbFBhcnNlciIsIm5vZGVBc1Rva2VucyIsIm5vZGUiLCJ0b2tlbnMiLCJ0ZXJtVG9rZW5zIiwibm9kZUFzU3RyaW5nIiwic3RyaW5nIiwidGVybVN0cmluZyIsInRva2Vuc0FzU3RyaW5nIiwidGVybU5vZGUiLCJjb250ZXh0IiwiT0JKRUNUX1RZUEVfTkFNRSIsInRlcm1Ob2RlQW5kVG9rZW5zIiwiVGVybU5vZGVBbmRUb2tlbnMiLCJmcm9tVGVybVN0cmluZyIsImdldFRlcm1Ub2tlbnMiLCJnZXRUZXJtTm9kZSIsImZyb21Ob3RoaW5nIiwiVGVybSIsInNoaW0iLCJ0ZXJtIiwiZnJvbVRlcm1Ob2RlIiwidHlwZSIsInN0cmluZ0Zyb21UZXJtQW5kVHlwZSIsImJyYWNrZXRlZENvbnN0cnVjdG9yIiwiQ29uc3RydWN0b3IiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztJQStDYUEsaUJBQWlCO2VBQWpCQTs7O2VBRVFDOzs7MkRBL0NKO21FQUNPOzJEQUNNO3lCQUVHO3VCQUVXOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFNUMsSUFBTUMsV0FBVztJQUNULElBQU1DLFFBQVFDLHFCQUFZLEVBQUUsR0FBRztJQUUvQixPQUFPRDtBQUNULEdBQ0FFLFlBQVk7SUFDVixJQUFNQyxTQUFTQyxzQkFBYSxFQUFFLEdBQUc7SUFFakMsT0FBT0Q7QUFDVCxHQUNBRSxlQUFlLFNBQUNDO0lBQ2QsSUFBTUMsU0FBU0MsWUFBWSxHQUFHO0lBRTlCLE9BQU9EO0FBQ1QsR0FDQUUsZUFBZSxTQUFDSDtJQUNkLElBQU1JLFNBQVNDLFlBQWEsR0FBRztJQUUvQixPQUFPRDtBQUNULEdBQ0FFLGlCQUFpQixTQUFDTDtJQUNoQixJQUFNRyxTQUFTRyxVQUFXLEdBQUc7SUFFN0IsT0FBT0g7QUFDVCxHQUNBSSxVQUFVO0lBQ1JmLFVBQUFBO0lBQ0FHLFdBQUFBO0lBQ0FHLGNBQUFBO0lBQ0FJLGNBQUFBO0lBQ0FHLGdCQUFBQTtBQUNGLEdBQ0FELGFBQWEsQUFBQyxJQUFvQixPQUFqQkksMkJBQWdCLEVBQUMsTUFDbENDLG9CQUFvQkMsYUFBaUIsQ0FBQ0MsY0FBYyxDQUFDUCxZQUFZRyxVQUNqRU4sYUFBYVEsa0JBQWtCRyxhQUFhLElBQzVDTixXQUFXRyxrQkFBa0JJLFdBQVc7QUFFdkMsSUFBTXZCLG9CQUFvQmdCLFVBQVcsR0FBRztBQUVoQyxJQUFBLEFBQU1mLHFDQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtpQ0FBQUE7O2tCQUFBQTs7WUFDWnVCLEtBQUFBO21CQUFQLFNBQU9BO2dCQUNMLElBQU0sQUFBRUMsT0FBU0MsYUFBSSxDQUFiRCxNQUNGRSxPQUFPRixLQUFLRyxZQUFZLENBQUNaLFVBQVVDLFVBQ25DWSxPQUFPLE1BQ1BoQixTQUFTaUIsSUFBQUEsa0NBQXFCLEVBQUNILE1BQU1FLE9BQ3JDRSx1QkFBdUIsSUFOWjlCLHFCQU1xQ1ksUUFBUWM7Z0JBRTlELE9BQU9JO1lBQ1Q7OztXQVRtQjlCO0VBQTZCK0Isb0JBQVcifQ==
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb25zdHJ1Y3Rvci9icmFja2V0ZWQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBzaGltIGZyb20gXCIuLi9zaGltXCI7XG5pbXBvcnQgQ29uc3RydWN0b3IgZnJvbSBcIi4uL2NvbnN0cnVjdG9yXCI7XG5pbXBvcnQgQ29uc3RydWN0b3JCcmFja2V0ZWRDb250ZXh0IGZyb20gXCIuLi9jb250ZXh0L2JyYWNrZXRlZC9jb25zdHJ1Y3RvclwiO1xuXG5pbXBvcnQgeyBzdHJpbmdGcm9tVGVybUFuZFR5cGUgfSBmcm9tIFwiLi4vY29uc3RydWN0b3JcIjtcblxuY29uc3QgY29uc3RydWN0b3JCcmFja2V0ZWRDb250ZXh0ID0gQ29uc3RydWN0b3JCcmFja2V0ZWRDb250ZXh0LmZyb21Ob3RoaW5nKCk7XG5cbmV4cG9ydCBjb25zdCBicmFja2V0ZWRUZXJtTm9kZSA9IGNvbnN0cnVjdG9yQnJhY2tldGVkQ29udGV4dC5nZXRCcmFja2V0ZWRUZXJtTm9kZSgpO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBCcmFja2V0ZWRDb25zdHJ1Y3RvciBleHRlbmRzIENvbnN0cnVjdG9yIHtcbiAgc3RhdGljIGZyb21Ob3RoaW5nKCkge1xuICAgIGNvbnN0IHsgVGVybSB9ID0gc2hpbSxcbiAgICAgICAgICB0ZXJtTm9kZSA9IGJyYWNrZXRlZFRlcm1Ob2RlLCAgLy8vXG4gICAgICAgICAgY29udGV4dCA9IGNvbnN0cnVjdG9yQnJhY2tldGVkQ29udGV4dCwgLy8vXG4gICAgICAgICAgdGVybSA9IFRlcm0uZnJvbVRlcm1Ob2RlKHRlcm1Ob2RlLCBjb250ZXh0KSxcbiAgICAgICAgICB0eXBlID0gbnVsbCxcbiAgICAgICAgICBzdHJpbmcgPSBzdHJpbmdGcm9tVGVybUFuZFR5cGUodGVybSwgdHlwZSksXG4gICAgICAgICAgYnJhY2tldGVkQ29uc3RydWN0b3IgPSBuZXcgQnJhY2tldGVkQ29uc3RydWN0b3Ioc3RyaW5nLCB0ZXJtKTtcblxuICAgIHJldHVybiBicmFja2V0ZWRDb25zdHJ1Y3RvcjtcbiAgfVxufVxuIl0sIm5hbWVzIjpbImJyYWNrZXRlZFRlcm1Ob2RlIiwiQnJhY2tldGVkQ29uc3RydWN0b3IiLCJjb25zdHJ1Y3RvckJyYWNrZXRlZENvbnRleHQiLCJDb25zdHJ1Y3RvckJyYWNrZXRlZENvbnRleHQiLCJmcm9tTm90aGluZyIsImdldEJyYWNrZXRlZFRlcm1Ob2RlIiwiVGVybSIsInNoaW0iLCJ0ZXJtTm9kZSIsImNvbnRleHQiLCJ0ZXJtIiwiZnJvbVRlcm1Ob2RlIiwidHlwZSIsInN0cmluZyIsInN0cmluZ0Zyb21UZXJtQW5kVHlwZSIsImJyYWNrZXRlZENvbnN0cnVjdG9yIiwiQ29uc3RydWN0b3IiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztJQVVhQSxpQkFBaUI7ZUFBakJBOzs7ZUFFUUM7OzsyREFWSjttRUFDTzttRUFDZ0I7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUl4QyxJQUFNQyw4QkFBOEJDLHFCQUEyQixDQUFDQyxXQUFXO0FBRXBFLElBQU1KLG9CQUFvQkUsNEJBQTRCRyxvQkFBb0I7QUFFbEUsSUFBQSxBQUFNSixxQ0FBTjtjQUFNQTthQUFBQTtnQ0FBQUE7aUNBQUFBOztrQkFBQUE7O1lBQ1pHLEtBQUFBO21CQUFQLFNBQU9BO2dCQUNMLElBQU0sQUFBRUUsT0FBU0MsYUFBSSxDQUFiRCxNQUNGRSxXQUFXUixtQkFDWFMsVUFBVVAsNkJBQ1ZRLE9BQU9KLEtBQUtLLFlBQVksQ0FBQ0gsVUFBVUMsVUFDbkNHLE9BQU8sTUFDUEMsU0FBU0MsSUFBQUEsa0NBQXFCLEVBQUNKLE1BQU1FLE9BQ3JDRyx1QkFBdUIsSUFSWmQscUJBUXFDWSxRQUFRSDtnQkFFOUQsT0FBT0s7WUFDVDs7O1dBWG1CZDtFQUE2QmUsb0JBQVcifQ==

package/lib/context/bracketed/combinator.js

@@ -0,0 +1,118 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", {
+    value: true
+});
+Object.defineProperty(exports, "default", {
+    enumerable: true,
+    get: function() {
+        return CombinatorBracketedContext;
+    }
+});
+var _bracketted = /*#__PURE__*/ _interop_require_default(require("../../context/bracketted"));
+var _statement = /*#__PURE__*/ _interop_require_default(require("../../nodeAndTokens/statement"));
+var _metaTypeNames = require("../../metaTypeNames");
+function _assert_this_initialized(self) {
+    if (self === void 0) {
+        throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
+    }
+    return self;
+}
+function _call_super(_this, derived, args) {
+    derived = _get_prototype_of(derived);
+    return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
+}
+function _class_call_check(instance, Constructor) {
+    if (!(instance instanceof Constructor)) {
+        throw new TypeError("Cannot call a class as a function");
+    }
+}
+function _defineProperties(target, props) {
+    for(var i = 0; i < props.length; i++){
+        var descriptor = props[i];
+        descriptor.enumerable = descriptor.enumerable || false;
+        descriptor.configurable = true;
+        if ("value" in descriptor) descriptor.writable = true;
+        Object.defineProperty(target, descriptor.key, descriptor);
+    }
+}
+function _create_class(Constructor, protoProps, staticProps) {
+    if (protoProps) _defineProperties(Constructor.prototype, protoProps);
+    if (staticProps) _defineProperties(Constructor, staticProps);
+    return Constructor;
+}
+function _get_prototype_of(o) {
+    _get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
+        return o.__proto__ || Object.getPrototypeOf(o);
+    };
+    return _get_prototype_of(o);
+}
+function _inherits(subClass, superClass) {
+    if (typeof superClass !== "function" && superClass !== null) {
+        throw new TypeError("Super expression must either be null or a function");
+    }
+    subClass.prototype = Object.create(superClass && superClass.prototype, {
+        constructor: {
+            value: subClass,
+            writable: true,
+            configurable: true
+        }
+    });
+    if (superClass) _set_prototype_of(subClass, superClass);
+}
+function _interop_require_default(obj) {
+    return obj && obj.__esModule ? obj : {
+        default: obj
+    };
+}
+function _possible_constructor_return(self, call) {
+    if (call && (_type_of(call) === "object" || typeof call === "function")) {
+        return call;
+    }
+    return _assert_this_initialized(self);
+}
+function _set_prototype_of(o, p) {
+    _set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
+        o.__proto__ = p;
+        return o;
+    };
+    return _set_prototype_of(o, p);
+}
+function _type_of(obj) {
+    "@swc/helpers - typeof";
+    return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
+}
+function _is_native_reflect_construct() {
+    try {
+        var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
+    } catch (_) {}
+    return (_is_native_reflect_construct = function() {
+        return !!result;
+    })();
+}
+var CombinatorBracketedContext = /*#__PURE__*/ function(BracketedContext) {
+    _inherits(CombinatorBracketedContext, BracketedContext);
+    function CombinatorBracketedContext() {
+        _class_call_check(this, CombinatorBracketedContext);
+        return _call_super(this, CombinatorBracketedContext, arguments);
+    }
+    _create_class(CombinatorBracketedContext, [
+        {
+            key: "getBracketedStatementNode",
+            value: function getBracketedStatementNode() {
+                var node = this.getNode(), bracketedStatementNode = node; ///
+                return bracketedStatementNode;
+            }
+        }
+    ], [
+        {
+            key: "fromNothing",
+            value: function fromNothing() {
+                var string = "(".concat(_metaTypeNames.STATEMENT_META_TYPE_NAME, ")"), NodeAndTokens = _statement.default, combinatorBracketedContext = _bracketted.default.fromStringAndNodeAndTokens(CombinatorBracketedContext, string, NodeAndTokens);
+                return combinatorBracketedContext;
+            }
+        }
+    ]);
+    return CombinatorBracketedContext;
+}(_bracketted.default);
+
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jb250ZXh0L2JyYWNrZXRlZC9jb21iaW5hdG9yLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgQnJhY2tldGVkQ29udGV4dCBmcm9tIFwiLi4vLi4vY29udGV4dC9icmFja2V0dGVkXCI7XG5pbXBvcnQgU3RhdGVtZW50Tm9kZUFuZFRva2VucyBmcm9tIFwiLi4vLi4vbm9kZUFuZFRva2Vucy9zdGF0ZW1lbnRcIjtcblxuaW1wb3J0IHsgU1RBVEVNRU5UX01FVEFfVFlQRV9OQU1FIH0gZnJvbSBcIi4uLy4uL21ldGFUeXBlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgQ29tYmluYXRvckJyYWNrZXRlZENvbnRleHQgZXh0ZW5kcyBCcmFja2V0ZWRDb250ZXh0IHtcbiAgZ2V0QnJhY2tldGVkU3RhdGVtZW50Tm9kZSgpIHtcbiAgICBjb25zdCBub2RlID0gdGhpcy5nZXROb2RlKCksXG4gICAgICAgICAgYnJhY2tldGVkU3RhdGVtZW50Tm9kZSA9IG5vZGU7ICAvLy9cblxuICAgIHJldHVybiBicmFja2V0ZWRTdGF0ZW1lbnROb2RlO1xuICB9XG5cbiAgc3RhdGljIGZyb21Ob3RoaW5nKCkge1xuICAgIGNvbnN0IHN0cmluZyA9IGAoJHtTVEFURU1FTlRfTUVUQV9UWVBFX05BTUV9KWAsXG4gICAgICAgICAgTm9kZUFuZFRva2VucyA9IFN0YXRlbWVudE5vZGVBbmRUb2tlbnMsXG4gICAgICAgICAgY29tYmluYXRvckJyYWNrZXRlZENvbnRleHQgPSBCcmFja2V0ZWRDb250ZXh0LmZyb21TdHJpbmdBbmROb2RlQW5kVG9rZW5zKENvbWJpbmF0b3JCcmFja2V0ZWRDb250ZXh0LCBzdHJpbmcsIE5vZGVBbmRUb2tlbnMpO1xuXG4gICAgcmV0dXJuIGNvbWJpbmF0b3JCcmFja2V0ZWRDb250ZXh0O1xuICB9XG59XG4iXSwibmFtZXMiOlsiQ29tYmluYXRvckJyYWNrZXRlZENvbnRleHQiLCJnZXRCcmFja2V0ZWRTdGF0ZW1lbnROb2RlIiwibm9kZSIsImdldE5vZGUiLCJicmFja2V0ZWRTdGF0ZW1lbnROb2RlIiwiZnJvbU5vdGhpbmciLCJzdHJpbmciLCJTVEFURU1FTlRfTUVUQV9UWVBFX05BTUUiLCJOb2RlQW5kVG9rZW5zIiwiU3RhdGVtZW50Tm9kZUFuZFRva2VucyIsImNvbWJpbmF0b3JCcmFja2V0ZWRDb250ZXh0IiwiQnJhY2tldGVkQ29udGV4dCIsImZyb21TdHJpbmdBbmROb2RlQW5kVG9rZW5zIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQU9xQkE7OztpRUFMUTtnRUFDTTs2QkFFTTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUUxQixJQUFBLEFBQU1BLDJDQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtpQ0FBQUE7O2tCQUFBQTs7WUFDbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxPQUFPLElBQUksQ0FBQ0MsT0FBTyxJQUNuQkMseUJBQXlCRixNQUFPLEdBQUc7Z0JBRXpDLE9BQU9FO1lBQ1Q7Ozs7WUFFT0MsS0FBQUE7bUJBQVAsU0FBT0E7Z0JBQ0wsSUFBTUMsU0FBUyxBQUFDLElBQTRCLE9BQXpCQyx1Q0FBd0IsRUFBQyxNQUN0Q0MsZ0JBQWdCQyxrQkFBc0IsRUFDdENDLDZCQUE2QkMsbUJBQWdCLENBQUNDLDBCQUEwQixDQVg3RFosNEJBVzBGTSxRQUFRRTtnQkFFbkgsT0FBT0U7WUFDVDs7O1dBZG1CVjtFQUFtQ1csbUJBQWdCIn0=

package/lib/context/bracketed/constructor.js

@@ -0,0 +1,118 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", {
+    value: true
+});
+Object.defineProperty(exports, "default", {
+    enumerable: true,
+    get: function() {
+        return ConstructorBracketedContext;
+    }
+});
+var _bracketted = /*#__PURE__*/ _interop_require_default(require("../../context/bracketted"));
+var _term = /*#__PURE__*/ _interop_require_default(require("../../nodeAndTokens/term"));
+var _typeNames = require("../../typeNames");
+function _assert_this_initialized(self) {
+    if (self === void 0) {
+        throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
+    }
+    return self;
+}
+function _call_super(_this, derived, args) {
+    derived = _get_prototype_of(derived);
+    return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
+}
+function _class_call_check(instance, Constructor) {
+    if (!(instance instanceof Constructor)) {
+        throw new TypeError("Cannot call a class as a function");
+    }
+}
+function _defineProperties(target, props) {
+    for(var i = 0; i < props.length; i++){
+        var descriptor = props[i];
+        descriptor.enumerable = descriptor.enumerable || false;
+        descriptor.configurable = true;
+        if ("value" in descriptor) descriptor.writable = true;
+        Object.defineProperty(target, descriptor.key, descriptor);
+    }
+}
+function _create_class(Constructor, protoProps, staticProps) {
+    if (protoProps) _defineProperties(Constructor.prototype, protoProps);
+    if (staticProps) _defineProperties(Constructor, staticProps);
+    return Constructor;
+}
+function _get_prototype_of(o) {
+    _get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
+        return o.__proto__ || Object.getPrototypeOf(o);
+    };
+    return _get_prototype_of(o);
+}
+function _inherits(subClass, superClass) {
+    if (typeof superClass !== "function" && superClass !== null) {
+        throw new TypeError("Super expression must either be null or a function");
+    }
+    subClass.prototype = Object.create(superClass && superClass.prototype, {
+        constructor: {
+            value: subClass,
+            writable: true,
+            configurable: true
+        }
+    });
+    if (superClass) _set_prototype_of(subClass, superClass);
+}
+function _interop_require_default(obj) {
+    return obj && obj.__esModule ? obj : {
+        default: obj
+    };
+}
+function _possible_constructor_return(self, call) {
+    if (call && (_type_of(call) === "object" || typeof call === "function")) {
+        return call;
+    }
+    return _assert_this_initialized(self);
+}
+function _set_prototype_of(o, p) {
+    _set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
+        o.__proto__ = p;
+        return o;
+    };
+    return _set_prototype_of(o, p);
+}
+function _type_of(obj) {
+    "@swc/helpers - typeof";
+    return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
+}
+function _is_native_reflect_construct() {
+    try {
+        var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
+    } catch (_) {}
+    return (_is_native_reflect_construct = function() {
+        return !!result;
+    })();
+}
+var ConstructorBracketedContext = /*#__PURE__*/ function(BracketedContext) {
+    _inherits(ConstructorBracketedContext, BracketedContext);
+    function ConstructorBracketedContext() {
+        _class_call_check(this, ConstructorBracketedContext);
+        return _call_super(this, ConstructorBracketedContext, arguments);
+    }
+    _create_class(ConstructorBracketedContext, [
+        {
+            key: "getBracketedTermNode",
+            value: function getBracketedTermNode() {
+                var node = this.getNode(), bracketedTermNode = node; ///
+                return bracketedTermNode;
+            }
+        }
+    ], [
+        {
+            key: "fromNothing",
+            value: function fromNothing() {
+                var string = "(".concat(_typeNames.OBJECT_TYPE_NAME, ")"), NodeAndTokens = _term.default, constructorBracketedContext = _bracketted.default.fromStringAndNodeAndTokens(ConstructorBracketedContext, string, NodeAndTokens);
+                return constructorBracketedContext;
+            }
+        }
+    ]);
+    return ConstructorBracketedContext;
+}(_bracketted.default);
+
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jb250ZXh0L2JyYWNrZXRlZC9jb25zdHJ1Y3Rvci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IEJyYWNrZXRlZENvbnRleHQgZnJvbSBcIi4uLy4uL2NvbnRleHQvYnJhY2tldHRlZFwiO1xuaW1wb3J0IFRlcm1Ob2RlQW5kVG9rZW5zIGZyb20gXCIuLi8uLi9ub2RlQW5kVG9rZW5zL3Rlcm1cIjtcblxuaW1wb3J0IHsgT0JKRUNUX1RZUEVfTkFNRSB9IGZyb20gXCIuLi8uLi90eXBlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgQ29uc3RydWN0b3JCcmFja2V0ZWRDb250ZXh0IGV4dGVuZHMgQnJhY2tldGVkQ29udGV4dCB7XG4gIGdldEJyYWNrZXRlZFRlcm1Ob2RlKCkge1xuICAgIGNvbnN0IG5vZGUgPSB0aGlzLmdldE5vZGUoKSxcbiAgICAgICAgICBicmFja2V0ZWRUZXJtTm9kZSA9IG5vZGU7ICAvLy9cblxuICAgIHJldHVybiBicmFja2V0ZWRUZXJtTm9kZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tTm90aGluZygpIHtcbiAgICBjb25zdCBzdHJpbmcgPSBgKCR7T0JKRUNUX1RZUEVfTkFNRX0pYCxcbiAgICAgICAgICBOb2RlQW5kVG9rZW5zID0gVGVybU5vZGVBbmRUb2tlbnMsXG4gICAgICAgICAgY29uc3RydWN0b3JCcmFja2V0ZWRDb250ZXh0ID0gQnJhY2tldGVkQ29udGV4dC5mcm9tU3RyaW5nQW5kTm9kZUFuZFRva2VucyhDb25zdHJ1Y3RvckJyYWNrZXRlZENvbnRleHQsIHN0cmluZywgTm9kZUFuZFRva2Vucyk7XG5cbiAgICByZXR1cm4gY29uc3RydWN0b3JCcmFja2V0ZWRDb250ZXh0O1xuICB9XG59XG4iXSwibmFtZXMiOlsiQ29uc3RydWN0b3JCcmFja2V0ZWRDb250ZXh0IiwiZ2V0QnJhY2tldGVkVGVybU5vZGUiLCJub2RlIiwiZ2V0Tm9kZSIsImJyYWNrZXRlZFRlcm1Ob2RlIiwiZnJvbU5vdGhpbmciLCJzdHJpbmciLCJPQkpFQ1RfVFlQRV9OQU1FIiwiTm9kZUFuZFRva2VucyIsIlRlcm1Ob2RlQW5kVG9rZW5zIiwiY29uc3RydWN0b3JCcmFja2V0ZWRDb250ZXh0IiwiQnJhY2tldGVkQ29udGV4dCIsImZyb21TdHJpbmdBbmROb2RlQW5kVG9rZW5zIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQU9xQkE7OztpRUFMUTsyREFDQzt5QkFFRzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVsQixJQUFBLEFBQU1BLDRDQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtpQ0FBQUE7O2tCQUFBQTs7WUFDbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxPQUFPLElBQUksQ0FBQ0MsT0FBTyxJQUNuQkMsb0JBQW9CRixNQUFPLEdBQUc7Z0JBRXBDLE9BQU9FO1lBQ1Q7Ozs7WUFFT0MsS0FBQUE7bUJBQVAsU0FBT0E7Z0JBQ0wsSUFBTUMsU0FBUyxBQUFDLElBQW9CLE9BQWpCQywyQkFBZ0IsRUFBQyxNQUM5QkMsZ0JBQWdCQyxhQUFpQixFQUNqQ0MsOEJBQThCQyxtQkFBZ0IsQ0FBQ0MsMEJBQTBCLENBWDlEWiw2QkFXNEZNLFFBQVFFO2dCQUVySCxPQUFPRTtZQUNUOzs7V0FkbUJWO0VBQW9DVyxtQkFBZ0IifQ==

package/lib/context/bracketted.js

@@ -0,0 +1,98 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", {
+    value: true
+});
+Object.defineProperty(exports, "default", {
+    enumerable: true,
+    get: function() {
+        return BracketedContext;
+    }
+});
+var _nominal = require("../utilities/nominal");
+function _class_call_check(instance, Constructor) {
+    if (!(instance instanceof Constructor)) {
+        throw new TypeError("Cannot call a class as a function");
+    }
+}
+function _defineProperties(target, props) {
+    for(var i = 0; i < props.length; i++){
+        var descriptor = props[i];
+        descriptor.enumerable = descriptor.enumerable || false;
+        descriptor.configurable = true;
+        if ("value" in descriptor) descriptor.writable = true;
+        Object.defineProperty(target, descriptor.key, descriptor);
+    }
+}
+function _create_class(Constructor, protoProps, staticProps) {
+    if (protoProps) _defineProperties(Constructor.prototype, protoProps);
+    if (staticProps) _defineProperties(Constructor, staticProps);
+    return Constructor;
+}
+var BracketedContext = /*#__PURE__*/ function() {
+    function BracketedContext(string, node, tokens) {
+        _class_call_check(this, BracketedContext);
+        this.string = string;
+        this.node = node;
+        this.tokens = tokens;
+    }
+    _create_class(BracketedContext, [
+        {
+            key: "getString",
+            value: function getString() {
+                return this.string;
+            }
+        },
+        {
+            key: "getNode",
+            value: function getNode() {
+                return this.node;
+            }
+        },
+        {
+            key: "getTokens",
+            value: function getTokens() {
+                return this.tokens;
+            }
+        },
+        {
+            key: "nodeAsTokens",
+            value: function nodeAsTokens() {
+                return this.tokens;
+            }
+        },
+        {
+            key: "nodeAsString",
+            value: function nodeAsString() {
+                return this.string;
+            }
+        },
+        {
+            key: "tokensAsString",
+            value: function tokensAsString() {
+                return this.string;
+            }
+        }
+    ], [
+        {
+            key: "fromStringAndNodeAndTokens",
+            value: function fromStringAndNodeAndTokens(Class, string, NodeAndTokens) {
+                var context = {
+                    getLexer: getLexer,
+                    getParser: getParser
+                }, nodeAndTokens = NodeAndTokens.fromString(string, context), node = nodeAndTokens.getNode(), tokens = nodeAndTokens.getTokens(), bracketedContext = new Class(string, node, tokens);
+                return bracketedContext;
+            }
+        }
+    ]);
+    return BracketedContext;
+}();
+function getLexer() {
+    var lexer = _nominal.nominalLexer; //'
+    return lexer;
+}
+function getParser() {
+    var parser = _nominal.nominalParser; //'
+    return parser;
+}
+
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250ZXh0L2JyYWNrZXR0ZWQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IG5vbWluYWxMZXhlciwgbm9taW5hbFBhcnNlciB9IGZyb20gXCIuLi91dGlsaXRpZXMvbm9taW5hbFwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBCcmFja2V0ZWRDb250ZXh0IHtcbiAgY29uc3RydWN0b3Ioc3RyaW5nLCBub2RlLCB0b2tlbnMpIHtcbiAgICB0aGlzLnN0cmluZyA9IHN0cmluZztcbiAgICB0aGlzLm5vZGUgPSBub2RlO1xuICAgIHRoaXMudG9rZW5zID0gdG9rZW5zO1xuICB9XG5cbiAgZ2V0U3RyaW5nKCkge1xuICAgIHJldHVybiB0aGlzLnN0cmluZztcbiAgfVxuXG4gIGdldE5vZGUoKSB7XG4gICAgcmV0dXJuIHRoaXMubm9kZTtcbiAgfVxuXG4gIGdldFRva2VucygpIHtcbiAgICByZXR1cm4gdGhpcy50b2tlbnM7XG4gIH1cblxuICBub2RlQXNUb2tlbnMoKSB7XG4gICAgcmV0dXJuIHRoaXMudG9rZW5zO1xuICB9XG5cbiAgbm9kZUFzU3RyaW5nKCkge1xuICAgIHJldHVybiB0aGlzLnN0cmluZztcbiAgfVxuXG4gIHRva2Vuc0FzU3RyaW5nKCkge1xuICAgIHJldHVybiB0aGlzLnN0cmluZztcbiAgfVxuXG4gIHN0YXRpYyBmcm9tU3RyaW5nQW5kTm9kZUFuZFRva2VucyhDbGFzcywgc3RyaW5nLCBOb2RlQW5kVG9rZW5zKSB7XG4gICAgY29uc3QgY29udGV4dCA9IHsgLy8vXG4gICAgICAgICAgICBnZXRMZXhlcixcbiAgICAgICAgICAgIGdldFBhcnNlclxuICAgICAgICAgIH0sXG4gICAgICAgICAgbm9kZUFuZFRva2VucyA9IE5vZGVBbmRUb2tlbnMuZnJvbVN0cmluZyhzdHJpbmcsIGNvbnRleHQpLFxuICAgICAgICAgIG5vZGUgPSBub2RlQW5kVG9rZW5zLmdldE5vZGUoKSxcbiAgICAgICAgICB0b2tlbnMgPSBub2RlQW5kVG9rZW5zLmdldFRva2VucygpLFxuICAgICAgICAgIGJyYWNrZXRlZENvbnRleHQgPSBuZXcgQ2xhc3Moc3RyaW5nLCBub2RlLCB0b2tlbnMpO1xuXG4gICAgcmV0dXJuIGJyYWNrZXRlZENvbnRleHQ7XG4gIH1cbn1cblxuZnVuY3Rpb24gZ2V0TGV4ZXIoKSB7XG4gIGNvbnN0IGxleGVyID0gbm9taW5hbExleGVyOyAvLydcblxuICByZXR1cm4gbGV4ZXI7XG59XG5cbmZ1bmN0aW9uIGdldFBhcnNlcigpIHtcbiAgY29uc3QgcGFyc2VyID0gbm9taW5hbFBhcnNlcjsgLy8nXG5cbiAgcmV0dXJuIHBhcnNlcjtcbn1cblxuIl0sIm5hbWVzIjpbIkJyYWNrZXRlZENvbnRleHQiLCJzdHJpbmciLCJub2RlIiwidG9rZW5zIiwiZ2V0U3RyaW5nIiwiZ2V0Tm9kZSIsImdldFRva2VucyIsIm5vZGVBc1Rva2VucyIsIm5vZGVBc1N0cmluZyIsInRva2Vuc0FzU3RyaW5nIiwiZnJvbVN0cmluZ0FuZE5vZGVBbmRUb2tlbnMiLCJDbGFzcyIsIk5vZGVBbmRUb2tlbnMiLCJjb250ZXh0IiwiZ2V0TGV4ZXIiLCJnZXRQYXJzZXIiLCJub2RlQW5kVG9rZW5zIiwiZnJvbVN0cmluZyIsImJyYWNrZXRlZENvbnRleHQiLCJsZXhlciIsIm5vbWluYWxMZXhlciIsInBhcnNlciIsIm5vbWluYWxQYXJzZXIiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBSXFCQTs7O3VCQUZ1Qjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFN0IsSUFBQSxBQUFNQSxpQ0FBTjthQUFNQSxpQkFDUEMsTUFBTSxFQUFFQyxJQUFJLEVBQUVDLE1BQU07Z0NBRGJIO1FBRWpCLElBQUksQ0FBQ0MsTUFBTSxHQUFHQTtRQUNkLElBQUksQ0FBQ0MsSUFBSSxHQUFHQTtRQUNaLElBQUksQ0FBQ0MsTUFBTSxHQUFHQTs7a0JBSkdIOztZQU9uQkksS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDSCxNQUFNO1lBQ3BCOzs7WUFFQUksS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDSCxJQUFJO1lBQ2xCOzs7WUFFQUksS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDSCxNQUFNO1lBQ3BCOzs7WUFFQUksS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDSixNQUFNO1lBQ3BCOzs7WUFFQUssS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDUCxNQUFNO1lBQ3BCOzs7WUFFQVEsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDUixNQUFNO1lBQ3BCOzs7O1lBRU9TLEtBQUFBO21CQUFQLFNBQU9BLDJCQUEyQkMsS0FBSyxFQUFFVixNQUFNLEVBQUVXLGFBQWE7Z0JBQzVELElBQU1DLFVBQVU7b0JBQ1JDLFVBQUFBO29CQUNBQyxXQUFBQTtnQkFDRixHQUNBQyxnQkFBZ0JKLGNBQWNLLFVBQVUsQ0FBQ2hCLFFBQVFZLFVBQ2pEWCxPQUFPYyxjQUFjWCxPQUFPLElBQzVCRixTQUFTYSxjQUFjVixTQUFTLElBQ2hDWSxtQkFBbUIsSUFBSVAsTUFBTVYsUUFBUUMsTUFBTUM7Z0JBRWpELE9BQU9lO1lBQ1Q7OztXQTFDbUJsQjs7QUE2Q3JCLFNBQVNjO0lBQ1AsSUFBTUssUUFBUUMscUJBQVksRUFBRSxHQUFHO0lBRS9CLE9BQU9EO0FBQ1Q7QUFFQSxTQUFTSjtJQUNQLElBQU1NLFNBQVNDLHNCQUFhLEVBQUUsR0FBRztJQUVqQyxPQUFPRDtBQUNUIn0=