occam-verify-cli 0.0.1016 → 0.0.1020

package/src/utilities/unify.js

@@ -28,7 +28,7 @@ export function metavariableFromFrameNode(frameNode, localContext) {
   if (frameMetavariableNode !== null) {
     const metavariableNode = frameMetavariableNode; ///
 
-    metavariable = localContext.findMetavariableByMetavariableNode(metavariableNode);
+    metavariable = localContext.findMetavariableByMetavariableName(metavariableName);
   }
 
   return metavariable;
@@ -42,7 +42,7 @@ export function metavariableFromStatementNode(statementNode, localContext) {
   if (statementMetavariableNode !== null) {
     const metavariableNode = statementMetavariableNode; ///
 
-    metavariable = localContext.findMetavariableByMetavariableNode(metavariableNode);
+    metavariable = localContext.findMetavariableByMetavariableName(metavariableName);
   }
 
   return metavariable;

package/src/variable.js

@@ -1,29 +1,38 @@
 "use strict";
 
-import { nodeAsString } from "./utilities/string";
+import Type from "./type";
+import LocalContext from "./context/local";
+
+import { nodeQuery } from "./utilities/query";
+import { objectType } from "./type";
+import { variableNameFromVariableNode} from "./utilities/name";
+import { variableNodeFromVariableString } from "./utilities/node";
+
+const typeNodeQuery = nodeQuery("/variableDeclaration/type"),
+      variableNodeQuery = nodeQuery("/variableDeclaration/variable");
 
 export default class Variable {
-  constructor(node, type) {
+  constructor(string, node, name, type) {
+    this.string = string;
     this.node = node;
+    this.name = name;
     this.type = type;
   }
 
+  getString() {
+    return this.string;
+  }
+
   getNode() {
     return this.node;
   }
 
-  getType() {
-    return this.type;
+  getName() {
+    return this.name;
   }
 
-  match(variable) {
-    const type = variable.getType(),
-          node = variable.getNode(),
-          typeMatches = this.matchType(type),
-          nodeMatches = this.matchNode(node),
-          matches = nodeMatches && typeMatches;
-
-    return matches;
+  getType() {
+    return this.type;
   }
 
   matchNode(node) {
@@ -32,23 +41,150 @@ export default class Variable {
     return nodeMatches;
   }
 
-  matchType(type) {
-    const typeMatches = this.type.match(type);
+  matchName(name) {
+    const nameMatches = (this.name === name);
 
-    return typeMatches;
+    return nameMatches;
   }
 
-  matchNodeAndType(node, type) {
-    const nodeMatches = this.matchNode(node),
-          typeNatches = this.matchType(type),
-          nodeAndTypeMatch = (nodeMatches && typeNatches);
+  verify(localContext) {
+    let verified;
+
+    const variableString = this.string; ///
+
+    localContext.trace(`Verifying the '${variableString}' variable...`);
+
+    const variableNode = this.node, ///
+          variableName = variableNameFromVariableNode(variableNode),
+          variable = localContext.findVariableByVariableName(variableName);
+
+    if (variable === null) {
+      localContext.debug(`The '${variableString}' variable is not present.`);
+    } else {
+      const type = variable.getType();
 
-    return nodeAndTypeMatch;
+      this.type = type;
+
+      verified = true;
+    }
+
+    if (verified) {
+      localContext.debug(`...verified the '${variableString}' variable.`);
+    }
+
+    return verified;
   }
 
-  static fromVariableNodeAndType(variableNode, type) {
+  verifyAtTopLevel(localContext) {
+    let verifiedAtTopLevel;
+
+    const variableString = this.string; ///
+
+    localContext.trace(`Verifying the '${variableString}' variable at top level...`);
+
+    const variableNode = this.node, ///
+          variableName = variableNameFromVariableNode(variableNode),
+          variablePresent = localContext.isVariablePresentByVariableName(variableName);
+
+    if (variablePresent) {
+      localContext.debug(`The '${variableString}' variable is already present.`);
+    } else {
+      const typeName = this.type.getName(),
+            type = localContext.findTypeByTypeName(typeName);
+
+      if (type === null) {
+        const typeString = this.type.getString();
+
+        localContext.debug(`The '${typeString}' type is not present.`);
+      } else {
+        this.type = type;
+
+        const variable = this;  ///
+
+        localContext.addVariable(variable);
+
+        verifiedAtTopLevel = true;
+      }
+    }
+
+    if (verifiedAtTopLevel) {
+      localContext.debug(`...verified the '${variableString}' variable at top level.`);
+    }
+
+    return verifiedAtTopLevel;
+  }
+
+  toJSON() {
+    const typeJSON = (this.type !== null) ?
+                       this.type.toJSON() :
+                         null,
+          string = this.string,
+          type = typeJSON,  ///
+          json = {
+            string,
+            type
+          };
+
+    return json;
+  }
+
+  static fromJSON(json, fileContext) {
+    const { string } = json,
+          lexer  = fileContext.getLexer(),
+          parser = fileContext.getParser(),
+          variableString = string,  ///
+          variableNode = variableNodeFromVariableString(variableString, lexer, parser),
+          node = variableNode;  ///
+
+    let { type } = json;
+
+    if (type !== null) {
+      json = type;  ///
+
+      type = Type.fromJSON(json, fileContext);
+    }
+
+    const variableName = variableNameFromVariableNode(variableNode),
+      name = variableName,  ///
+      variable = new Variable(string, node, name, type);
+
+    return variable;
+  }
+
+  static fromVariableNode(variableNode, localContext) {
+    const node = variableNode,  ///
+          variableName = variableNameFromVariableNode(variableNode),
+          string = localContext.nodeAsString(node),
+          name = variableName,  ///
+          type = null,
+          variable = new Variable(string, node, name, type);
+
+    return variable;
+  }
+
+  static fromVariableNodeAndType(variableNode, type, localContext) {
     const node = variableNode,  ///
-          variable = new Variable(node, type);
+          variableName = variableNameFromVariableNode(variableNode),
+          string = localContext.nodeAsString(node),
+          name = variableName,  ///
+          variable = new Variable(string, node, name, type);
+
+    return variable;
+  }
+
+  static fromVariableDeclarationNode(variableDeclarationNode, fileContext) {
+    const typeNode = typeNodeQuery(variableDeclarationNode),
+          variableNode = variableNodeQuery(variableDeclarationNode),
+          variableName = variableNameFromVariableNode(variableNode),
+          localContext = LocalContext.fromFileContext(fileContext),
+          variableString = fileContext.nodeAsString(variableNode),
+          string = variableString,  ///
+          node = variableNode,  ///
+          name = variableName,  ///
+          type = (typeNode === null) ?
+                   objectType :
+                     Type.fromTypeNode(typeNode, localContext),
+          variable = new Variable(string, node, name, type);
 
     return variable;
   }

package/src/verifier/statementAsCombinator.js

@@ -41,8 +41,8 @@ class StatementAsCombinatorVerifier extends Verifier {
       nodeQuery: termNodeQuery,
       verify: (termNode, fileContext) => {
         const { Term } = shim,
-              term = Term.fromTermNode(termNode, fileContext),
               localContext = LocalContext.fromFileContext(fileContext),
+              term = Term.fromTermNode(termNode, localContext),
               termVerified = term.verify(localContext, () => {
                 const verifiedAhead = true;
 

package/src/verifier/termAsConstructor.js

@@ -31,8 +31,8 @@ class TermAsConstructorVerifier extends Verifier {
       nodeQuery: termNodeQuery,
       verify: (termNode, fileContext, verifyAhead) => {
         const { Term } = shim,
-              term = Term.fromTermNode(termNode, fileContext),
               localContext = LocalContext.fromFileContext(fileContext),
+              term = Term.fromTermNode(termNode, localContext),
               termVerified = term.verify(localContext, verifyAhead);
 
         return termVerified;

package/src/verifier/topLevel.js

@@ -2,19 +2,19 @@
 
 import Rule from "../rule";
 import Error from "../error";
+import Axiom from "../axiom";
+import Lemma from "../lemma";
 import TypeDeclaration from "../declaration/type";
+import VariableDeclaration from "../declaration/variable";
 import CombinatorDeclaration from "../declaration/combinator";
 import ConstructorDeclaration from "../declaration/constructor";
 import MetavariableDeclaration from "../declaration/metavariable";
 
 import Verifier from "../verifier";
-import verifyAxiom from "../verify/axiom";
-import verifyLemma from "../verify/lemma";
 import verifyTheorem from "../verify/theorem";
 import verifyMetaLemma from "../verify/metaLemma";
 import verifyConjecture from "../verify/conjecture";
 import verifyMetatheorem from "../verify/metatheorem";
-import verifyVariableDeclaration from "../verify/declaration/variable";
 
 import { nodeQuery } from "../utilities/query";
 
@@ -66,7 +66,8 @@ class TopLevelVerifier extends Verifier {
     {
       nodeQuery: axiomNodeQuery,
       verify: (axiomNode, fileContext) => {
-        const axiomVerified = verifyAxiom(axiomNode, fileContext);
+        const axiom = Axiom.fromAxiomNode(axiomNode, fileContext),
+              axiomVerified = axiom.verify();
 
         return axiomVerified;
       }
@@ -74,7 +75,8 @@ class TopLevelVerifier extends Verifier {
     {
       nodeQuery: lemmaNodeQuery,
       verify: (lemmaNode, fileContext) => {
-        const lemmaVerified = verifyLemma(lemmaNode, fileContext);
+        const lemma = Lemma.fromLemmaNode(lemmaNode, fileContext),
+              lemmaVerified = lemma.verify();
 
         return lemmaVerified;
       }
@@ -123,7 +125,8 @@ class TopLevelVerifier extends Verifier {
     {
       nodeQuery: variableDeclarationNodeQuery,
       verify: (variableDeclarationNode, fileContext) => {
-        const variableDeclarationVerified = verifyVariableDeclaration(variableDeclarationNode, fileContext);
+        const variableDeclaration = VariableDeclaration.fromVariableDeclarationNode(variableDeclarationNode, fileContext),
+              variableDeclarationVerified = variableDeclaration.verify();
 
         return variableDeclarationVerified;
       }

package/src/verify/assertion/type.js

@@ -1,7 +1,7 @@
 "use strict";
 
 import Variable from "../../variable";
-import verifyTerm from "../../verify/term";
+// import verifyTerm from "../../verify/term";
 import VariableAssignment from "../../assignment/variable";
 
 import { first } from "../../utilities/array";

package/src/verify/conjecture.js

@@ -4,7 +4,7 @@ import Conjecture from "../conjecture";
 // import verifyProof from "../verify/proof";
 import LocalContext from "../context/local";
 import Substitutions from "../substitutions";
-import verifyConsequent from "../verify/consequent";
+// import verifyConsequent from "../verify/consequent";
 // import verifySuppositions from "../verify/suppositions";
 
 import { first } from "../utilities/array";

package/src/verify/frame.js

@@ -18,7 +18,7 @@ const verifyFrameFunctions = [
   verifyStatedFrame
 ];
 
-function verifyFrame(frameNode, frames, stated, localContext) {
+export default function verifyFrame(frameNode, frames, stated, localContext) {
   let frameVerified;
 
   const frameString = localContext.nodeAsString(frameNode);
@@ -40,12 +40,6 @@ function verifyFrame(frameNode, frames, stated, localContext) {
   return frameVerified;
 }
 
-Object.assign(shim, {
-  verifyFrame
-});
-
-export default verifyFrame;
-
 function verifyDerivedFrame(frameNode, frames, stated, localContext) {
   let derivedFrameVerified;
 

package/src/verify/lemma.js

@@ -4,7 +4,7 @@ import Lemma from "../lemma";
 // import verifyProof from "../verify/proof";
 import LocalContext from "../context/local";
 import Substitutions from "../substitutions";
-import verifyConsequent from "../verify/consequent";
+// import verifyConsequent from "../verify/consequent";
 // import verifySuppositions from "../verify/suppositions";
 
 import { first } from "../utilities/array";

package/src/verify/metaLemma.js

@@ -4,7 +4,7 @@ import MetaLemma from "../metaLemma";
 // import verifyProof from "../verify/proof";
 import LocalContext from "../context/local";
 import Substitutions from "../substitutions";
-import verifyConsequent from "../verify/consequent";
+// import verifyConsequent from "../verify/consequent";
 // import verifySuppositions from "../verify/suppositions";
 
 import { first } from "../utilities/array";

package/src/verify/metatheorem.js

@@ -4,7 +4,7 @@
 import Metatheorem from "../metatheorem";
 import LocalContext from "../context/local";
 import Substitutions from "../substitutions";
-import verifyConsequent from "../verify/consequent";
+// import verifyConsequent from "../verify/consequent";
 // import verifySuppositions from "../verify/suppositions";
 
 import { first } from "../utilities/array";

package/src/verify/metavariableGivenMetaType.js

@@ -25,9 +25,9 @@ export default function verifyMetavariableGivenMetaType(metavariableNode, metaTy
 
       const metavariableNodeB = metavariableNode; ///
 
-      const unified = metavariableUnifier.unify(metavariableNodeA, metavariableNodeB, localContext);
+      const metavariableUnified = metavariableUnifier.unify(metavariableNodeA, metavariableNodeB, localContext);
 
-      metavariableVerifiedGivenMetaType = unified;  ///
+      metavariableVerifiedGivenMetaType = metavariableUnified;  ///
     } else {
       const metavariableMetaTypeName = metavariableMetaType.getName();
 

package/src/verify/theorem.js

@@ -4,7 +4,7 @@ import Theorem from "../theorem";
 // import verifyProof from "../verify/proof";
 import LocalContext from "../context/local";
 import Substitutions from "../substitutions";
-import verifyConsequent from "../verify/consequent";
+// import verifyConsequent from "../verify/consequent";
 // import verifySuppositions from "../verify/suppositions";
 
 import { first } from "../utilities/array";

package/lib/tokens/constructorTerm/bracketed.js

@@ -1,17 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return _default;
-    }
-});
-var _typeNames = require("../../typeNames");
-var _tokens = require("../../utilities/tokens");
-var bracketedConstructorTermString = "(".concat(_typeNames.OBJECT_TYPE_NAME, ")");
-var bracketedConstructorDeclarationTokens = (0, _tokens.termTokensFromTermString)(bracketedConstructorTermString);
-var _default = bracketedConstructorDeclarationTokens;
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy90b2tlbnMvY29uc3RydWN0b3JUZXJtL2JyYWNrZXRlZC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgT0JKRUNUX1RZUEVfTkFNRSB9IGZyb20gXCIuLi8uLi90eXBlTmFtZXNcIjtcbmltcG9ydCB7IHRlcm1Ub2tlbnNGcm9tVGVybVN0cmluZyB9IGZyb20gXCIuLi8uLi91dGlsaXRpZXMvdG9rZW5zXCI7XG5cbmNvbnN0IGJyYWNrZXRlZENvbnN0cnVjdG9yVGVybVN0cmluZyA9IGAoJHtPQkpFQ1RfVFlQRV9OQU1FfSlgO1xuXG5jb25zdCBicmFja2V0ZWRDb25zdHJ1Y3RvckRlY2xhcmF0aW9uVG9rZW5zID0gdGVybVRva2Vuc0Zyb21UZXJtU3RyaW5nKGJyYWNrZXRlZENvbnN0cnVjdG9yVGVybVN0cmluZylcblxuZXhwb3J0IGRlZmF1bHQgYnJhY2tldGVkQ29uc3RydWN0b3JEZWNsYXJhdGlvblRva2VucztcbiJdLCJuYW1lcyI6WyJicmFja2V0ZWRDb25zdHJ1Y3RvclRlcm1TdHJpbmciLCJPQkpFQ1RfVFlQRV9OQU1FIiwiYnJhY2tldGVkQ29uc3RydWN0b3JEZWNsYXJhdGlvblRva2VucyIsInRlcm1Ub2tlbnNGcm9tVGVybVN0cmluZyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBU0E7OztlQUFBOzs7eUJBUGlDO3NCQUNRO0FBRXpDLElBQU1BLGlDQUFpQyxBQUFDLElBQW9CLE9BQWpCQywyQkFBZ0IsRUFBQztBQUU1RCxJQUFNQyx3Q0FBd0NDLElBQUFBLGdDQUF3QixFQUFDSDtJQUV2RSxXQUFlRSJ9

package/lib/unify/termWithBracketedConstructor.js

@@ -1,39 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return unifyTermWithBracketedConstructor;
-    }
-});
-var _shim = /*#__PURE__*/ _interop_require_default(require("../shim"));
-var _bracketed = /*#__PURE__*/ _interop_require_default(require("../constructor/bracketed"));
-var _termWithConstructor = /*#__PURE__*/ _interop_require_default(require("../unify/termWithConstructor"));
-var _query = require("../utilities/query");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-var termNodeQuery = (0, _query.nodeQuery)("/term/argument/term");
-function unifyTermWithBracketedConstructor(termNode, terms, localContext, verifyAhead) {
-    var termUnifiedWithBracketedConstructor;
-    var termString = localContext.nodeAsString(termNode), bracketedTerms = [];
-    localContext.trace("Unifying the '".concat(termString, "' term with the bracketed constructor..."), termNode);
-    termUnifiedWithBracketedConstructor = (0, _termWithConstructor.default)(termNode, bracketedTerms, _bracketed.default, localContext, function() {
-        var verifiedAhead;
-        var bracketedTermNode = termNode; ///
-        termNode = termNodeQuery(bracketedTermNode); ///
-        var verifyTerm = _shim.default.verifyTerm, termVVerified = verifyTerm(termNode, terms, localContext, verifyAhead);
-        verifiedAhead = termVVerified; ///
-        return verifiedAhead;
-    });
-    if (termUnifiedWithBracketedConstructor) {
-        localContext.debug("...unified the '".concat(termString, "' term with the bracketed constructor."), termNode);
-    }
-    return termUnifiedWithBracketedConstructor;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91bmlmeS90ZXJtV2l0aEJyYWNrZXRlZENvbnN0cnVjdG9yLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgc2hpbSBmcm9tIFwiLi4vc2hpbVwiO1xuaW1wb3J0IGJyYWNrZXRlZENvbnN0cnVjdG9yIGZyb20gXCIuLi9jb25zdHJ1Y3Rvci9icmFja2V0ZWRcIjtcbmltcG9ydCB1bmlmeVRlcm1XaXRoQ29uc3RydWN0b3IgZnJvbSBcIi4uL3VuaWZ5L3Rlcm1XaXRoQ29uc3RydWN0b3JcIjtcblxuaW1wb3J0IHsgbm9kZVF1ZXJ5IH0gZnJvbSBcIi4uL3V0aWxpdGllcy9xdWVyeVwiO1xuXG5jb25zdCB0ZXJtTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3Rlcm0vYXJndW1lbnQvdGVybVwiKTtcblxuZXhwb3J0IGRlZmF1bHQgZnVuY3Rpb24gdW5pZnlUZXJtV2l0aEJyYWNrZXRlZENvbnN0cnVjdG9yKHRlcm1Ob2RlLCB0ZXJtcywgbG9jYWxDb250ZXh0LCB2ZXJpZnlBaGVhZCkge1xuICBsZXQgdGVybVVuaWZpZWRXaXRoQnJhY2tldGVkQ29uc3RydWN0b3I7XG5cbiAgY29uc3QgdGVybVN0cmluZyA9IGxvY2FsQ29udGV4dC5ub2RlQXNTdHJpbmcodGVybU5vZGUpLFxuICAgICAgICBicmFja2V0ZWRUZXJtcyA9IFtdO1xuXG4gIGxvY2FsQ29udGV4dC50cmFjZShgVW5pZnlpbmcgdGhlICcke3Rlcm1TdHJpbmd9JyB0ZXJtIHdpdGggdGhlIGJyYWNrZXRlZCBjb25zdHJ1Y3Rvci4uLmAsIHRlcm1Ob2RlKTtcblxuICB0ZXJtVW5pZmllZFdpdGhCcmFja2V0ZWRDb25zdHJ1Y3RvciA9IHVuaWZ5VGVybVdpdGhDb25zdHJ1Y3Rvcih0ZXJtTm9kZSwgYnJhY2tldGVkVGVybXMsIGJyYWNrZXRlZENvbnN0cnVjdG9yLCBsb2NhbENvbnRleHQsICgpID0+IHtcbiAgICBsZXQgdmVyaWZpZWRBaGVhZDtcblxuICAgIGNvbnN0IGJyYWNrZXRlZFRlcm1Ob2RlID0gdGVybU5vZGU7IC8vL1xuXG4gICAgdGVybU5vZGUgPSB0ZXJtTm9kZVF1ZXJ5KGJyYWNrZXRlZFRlcm1Ob2RlKTsgLy8vXG5cbiAgICBjb25zdCB7IHZlcmlmeVRlcm0gfSA9IHNoaW0sXG4gICAgICAgICAgdGVybVZWZXJpZmllZCA9IHZlcmlmeVRlcm0odGVybU5vZGUsIHRlcm1zLCBsb2NhbENvbnRleHQsIHZlcmlmeUFoZWFkKTtcblxuICAgIHZlcmlmaWVkQWhlYWQgPSB0ZXJtVlZlcmlmaWVkOyAgLy8vXG5cbiAgICByZXR1cm4gdmVyaWZpZWRBaGVhZDtcbiAgfSk7XG5cbiAgaWYgKHRlcm1VbmlmaWVkV2l0aEJyYWNrZXRlZENvbnN0cnVjdG9yKSB7XG4gICAgbG9jYWxDb250ZXh0LmRlYnVnKGAuLi51bmlmaWVkIHRoZSAnJHt0ZXJtU3RyaW5nfScgdGVybSB3aXRoIHRoZSBicmFja2V0ZWQgY29uc3RydWN0b3IuYCwgdGVybU5vZGUpO1xuICB9XG5cbiAgcmV0dXJuIHRlcm1VbmlmaWVkV2l0aEJyYWNrZXRlZENvbnN0cnVjdG9yO1xufVxuIl0sIm5hbWVzIjpbInVuaWZ5VGVybVdpdGhCcmFja2V0ZWRDb25zdHJ1Y3RvciIsInRlcm1Ob2RlUXVlcnkiLCJub2RlUXVlcnkiLCJ0ZXJtTm9kZSIsInRlcm1zIiwibG9jYWxDb250ZXh0IiwidmVyaWZ5QWhlYWQiLCJ0ZXJtVW5pZmllZFdpdGhCcmFja2V0ZWRDb25zdHJ1Y3RvciIsInRlcm1TdHJpbmciLCJub2RlQXNTdHJpbmciLCJicmFja2V0ZWRUZXJtcyIsInRyYWNlIiwidW5pZnlUZXJtV2l0aENvbnN0cnVjdG9yIiwiYnJhY2tldGVkQ29uc3RydWN0b3IiLCJ2ZXJpZmllZEFoZWFkIiwiYnJhY2tldGVkVGVybU5vZGUiLCJ2ZXJpZnlUZXJtIiwic2hpbSIsInRlcm1WVmVyaWZpZWQiLCJkZWJ1ZyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBVUE7OztlQUF3QkE7OzsyREFSUDtnRUFDZ0I7MEVBQ0k7cUJBRVg7Ozs7OztBQUUxQixJQUFNQyxnQkFBZ0JDLElBQUFBLGdCQUFTLEVBQUM7QUFFakIsU0FBU0Ysa0NBQWtDRyxRQUFRLEVBQUVDLEtBQUssRUFBRUMsWUFBWSxFQUFFQyxXQUFXO0lBQ2xHLElBQUlDO0lBRUosSUFBTUMsYUFBYUgsYUFBYUksWUFBWSxDQUFDTixXQUN2Q08saUJBQWlCLEVBQUU7SUFFekJMLGFBQWFNLEtBQUssQ0FBQyxBQUFDLGlCQUEyQixPQUFYSCxZQUFXLDZDQUEyQ0w7SUFFMUZJLHNDQUFzQ0ssSUFBQUEsNEJBQXdCLEVBQUNULFVBQVVPLGdCQUFnQkcsa0JBQW9CLEVBQUVSLGNBQWM7UUFDM0gsSUFBSVM7UUFFSixJQUFNQyxvQkFBb0JaLFVBQVUsR0FBRztRQUV2Q0EsV0FBV0YsY0FBY2Msb0JBQW9CLEdBQUc7UUFFaEQsSUFBTSxBQUFFQyxhQUFlQyxhQUFJLENBQW5CRCxZQUNGRSxnQkFBZ0JGLFdBQVdiLFVBQVVDLE9BQU9DLGNBQWNDO1FBRWhFUSxnQkFBZ0JJLGVBQWdCLEdBQUc7UUFFbkMsT0FBT0o7SUFDVDtJQUVBLElBQUlQLHFDQUFxQztRQUN2Q0YsYUFBYWMsS0FBSyxDQUFDLEFBQUMsbUJBQTZCLE9BQVhYLFlBQVcsMkNBQXlDTDtJQUM1RjtJQUVBLE9BQU9JO0FBQ1QifQ==

package/lib/unify/termWithConstructor.js

@@ -1,37 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return unifyTermWithConstructor;
-    }
-});
-var _term = /*#__PURE__*/ _interop_require_default(require("../term"));
-var _termWithConstructor = /*#__PURE__*/ _interop_require_default(require("../unifier/termWithConstructor"));
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-function unifyTermWithConstructor(termNode, terms, constructor, localContext, verifyAhead) {
-    var termUnifiedWithConstructor = false;
-    var termString = localContext.nodeAsString(termNode), constructorString = constructor.getString(), constructorTermNode = constructor.getTermNode();
-    localContext.trace("Unifying the '".concat(termString, "' term with the '").concat(constructorString, "' constructor..."), termNode);
-    var termNodeA = termNode, constructorTermNodeB = constructorTermNode, unified = _termWithConstructor.default.unify(termNodeA, constructorTermNodeB, localContext);
-    if (unified) {
-        var verifiedAhead;
-        var type = constructor.getType(), term = _term.default.fromTermNodeAndType(termNode, type);
-        terms.push(term);
-        verifiedAhead = verifyAhead();
-        terms.pop();
-        termUnifiedWithConstructor = verifiedAhead; ///
-    }
-    if (termUnifiedWithConstructor) {
-        localContext.debug("...unified the '".concat(termString, "' term with the '").concat(constructorString, "' constructor."), termNode);
-    }
-    return termUnifiedWithConstructor;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91bmlmeS90ZXJtV2l0aENvbnN0cnVjdG9yLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgVGVybSBmcm9tIFwiLi4vdGVybVwiO1xuaW1wb3J0IHRlcm1XaXRoQ29uc3RydWN0b3JVbmlmaWVyIGZyb20gXCIuLi91bmlmaWVyL3Rlcm1XaXRoQ29uc3RydWN0b3JcIjtcblxuZXhwb3J0IGRlZmF1bHQgZnVuY3Rpb24gdW5pZnlUZXJtV2l0aENvbnN0cnVjdG9yKHRlcm1Ob2RlLCB0ZXJtcywgY29uc3RydWN0b3IsIGxvY2FsQ29udGV4dCwgdmVyaWZ5QWhlYWQpIHtcbiAgbGV0IHRlcm1VbmlmaWVkV2l0aENvbnN0cnVjdG9yID0gZmFsc2U7XG5cbiAgY29uc3QgdGVybVN0cmluZyA9IGxvY2FsQ29udGV4dC5ub2RlQXNTdHJpbmcodGVybU5vZGUpLFxuICAgICAgICBjb25zdHJ1Y3RvclN0cmluZyA9IGNvbnN0cnVjdG9yLmdldFN0cmluZygpLFxuICAgICAgICBjb25zdHJ1Y3RvclRlcm1Ob2RlID0gY29uc3RydWN0b3IuZ2V0VGVybU5vZGUoKTtcblxuICBsb2NhbENvbnRleHQudHJhY2UoYFVuaWZ5aW5nIHRoZSAnJHt0ZXJtU3RyaW5nfScgdGVybSB3aXRoIHRoZSAnJHtjb25zdHJ1Y3RvclN0cmluZ30nIGNvbnN0cnVjdG9yLi4uYCwgdGVybU5vZGUpO1xuXG4gIGNvbnN0IHRlcm1Ob2RlQSA9IHRlcm1Ob2RlLCAgLy8vXG4gICAgICAgIGNvbnN0cnVjdG9yVGVybU5vZGVCID0gY29uc3RydWN0b3JUZXJtTm9kZSwgIC8vL1xuICAgICAgICB1bmlmaWVkID0gdGVybVdpdGhDb25zdHJ1Y3RvclVuaWZpZXIudW5pZnkodGVybU5vZGVBLCBjb25zdHJ1Y3RvclRlcm1Ob2RlQiwgbG9jYWxDb250ZXh0KTtcblxuICBpZiAodW5pZmllZCkge1xuICAgIGxldCB2ZXJpZmllZEFoZWFkO1xuXG4gICAgY29uc3QgdHlwZSA9IGNvbnN0cnVjdG9yLmdldFR5cGUoKSxcbiAgICAgICAgICB0ZXJtID0gVGVybS5mcm9tVGVybU5vZGVBbmRUeXBlKHRlcm1Ob2RlLCB0eXBlKTtcblxuICAgIHRlcm1zLnB1c2godGVybSk7XG5cbiAgICB2ZXJpZmllZEFoZWFkID0gdmVyaWZ5QWhlYWQoKTtcblxuICAgIHRlcm1zLnBvcCgpO1xuXG4gICAgdGVybVVuaWZpZWRXaXRoQ29uc3RydWN0b3IgPSB2ZXJpZmllZEFoZWFkOyAgLy8vXG4gIH1cblxuICBpZiAodGVybVVuaWZpZWRXaXRoQ29uc3RydWN0b3IpIHtcbiAgICBsb2NhbENvbnRleHQuZGVidWcoYC4uLnVuaWZpZWQgdGhlICcke3Rlcm1TdHJpbmd9JyB0ZXJtIHdpdGggdGhlICcke2NvbnN0cnVjdG9yU3RyaW5nfScgY29uc3RydWN0b3IuYCwgdGVybU5vZGUpO1xuICB9XG5cbiAgcmV0dXJuIHRlcm1VbmlmaWVkV2l0aENvbnN0cnVjdG9yO1xufVxuIl0sIm5hbWVzIjpbInVuaWZ5VGVybVdpdGhDb25zdHJ1Y3RvciIsInRlcm1Ob2RlIiwidGVybXMiLCJjb25zdHJ1Y3RvciIsImxvY2FsQ29udGV4dCIsInZlcmlmeUFoZWFkIiwidGVybVVuaWZpZWRXaXRoQ29uc3RydWN0b3IiLCJ0ZXJtU3RyaW5nIiwibm9kZUFzU3RyaW5nIiwiY29uc3RydWN0b3JTdHJpbmciLCJnZXRTdHJpbmciLCJjb25zdHJ1Y3RvclRlcm1Ob2RlIiwiZ2V0VGVybU5vZGUiLCJ0cmFjZSIsInRlcm1Ob2RlQSIsImNvbnN0cnVjdG9yVGVybU5vZGVCIiwidW5pZmllZCIsInRlcm1XaXRoQ29uc3RydWN0b3JVbmlmaWVyIiwidW5pZnkiLCJ2ZXJpZmllZEFoZWFkIiwidHlwZSIsImdldFR5cGUiLCJ0ZXJtIiwiVGVybSIsImZyb21UZXJtTm9kZUFuZFR5cGUiLCJwdXNoIiwicG9wIiwiZGVidWciXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUtBOzs7ZUFBd0JBOzs7MkRBSFA7MEVBQ3NCOzs7Ozs7QUFFeEIsU0FBU0EseUJBQXlCQyxRQUFRLEVBQUVDLEtBQUssRUFBRUMsV0FBVyxFQUFFQyxZQUFZLEVBQUVDLFdBQVc7SUFDdEcsSUFBSUMsNkJBQTZCO0lBRWpDLElBQU1DLGFBQWFILGFBQWFJLFlBQVksQ0FBQ1AsV0FDdkNRLG9CQUFvQk4sWUFBWU8sU0FBUyxJQUN6Q0Msc0JBQXNCUixZQUFZUyxXQUFXO0lBRW5EUixhQUFhUyxLQUFLLENBQUMsQUFBQyxpQkFBOENKLE9BQTlCRixZQUFXLHFCQUFxQyxPQUFsQkUsbUJBQWtCLHFCQUFtQlI7SUFFdkcsSUFBTWEsWUFBWWIsVUFDWmMsdUJBQXVCSixxQkFDdkJLLFVBQVVDLDRCQUEwQixDQUFDQyxLQUFLLENBQUNKLFdBQVdDLHNCQUFzQlg7SUFFbEYsSUFBSVksU0FBUztRQUNYLElBQUlHO1FBRUosSUFBTUMsT0FBT2pCLFlBQVlrQixPQUFPLElBQzFCQyxPQUFPQyxhQUFJLENBQUNDLG1CQUFtQixDQUFDdkIsVUFBVW1CO1FBRWhEbEIsTUFBTXVCLElBQUksQ0FBQ0g7UUFFWEgsZ0JBQWdCZDtRQUVoQkgsTUFBTXdCLEdBQUc7UUFFVHBCLDZCQUE2QmEsZUFBZ0IsR0FBRztJQUNsRDtJQUVBLElBQUliLDRCQUE0QjtRQUM5QkYsYUFBYXVCLEtBQUssQ0FBQyxBQUFDLG1CQUFnRGxCLE9BQTlCRixZQUFXLHFCQUFxQyxPQUFsQkUsbUJBQWtCLG1CQUFpQlI7SUFDekc7SUFFQSxPQUFPSztBQUNUIn0=

package/lib/unify/termWithConstructors.js

@@ -1,34 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return unifyTermWithConstructors;
-    }
-});
-var _termWithConstructor = /*#__PURE__*/ _interop_require_default(require("../unify/termWithConstructor"));
-var _query = require("../utilities/query");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-var variableNodeQuery = (0, _query.nodeQuery)("/term/variable!");
-function unifyTermWithConstructors(termNode, terms, localContext, verifyAhead) {
-    var termUnifiedWithConstructors = false;
-    var variableNode = variableNodeQuery(termNode);
-    if (variableNode === null) {
-        var constructors = localContext.getConstructors();
-        termUnifiedWithConstructors = constructors.some(function(constructor) {
-            var termUnifiedWithConstructor = (0, _termWithConstructor.default)(termNode, terms, constructor, localContext, verifyAhead);
-            if (termUnifiedWithConstructor) {
-                return true;
-            }
-        });
-    }
-    return termUnifiedWithConstructors;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91bmlmeS90ZXJtV2l0aENvbnN0cnVjdG9ycy5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHVuaWZ5VGVybVdpdGhDb25zdHJ1Y3RvciBmcm9tIFwiLi4vdW5pZnkvdGVybVdpdGhDb25zdHJ1Y3RvclwiO1xuXG5pbXBvcnQgeyBub2RlUXVlcnkgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5cbmNvbnN0IHZhcmlhYmxlTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3Rlcm0vdmFyaWFibGUhXCIpO1xuXG5leHBvcnQgZGVmYXVsdCBmdW5jdGlvbiB1bmlmeVRlcm1XaXRoQ29uc3RydWN0b3JzKHRlcm1Ob2RlLCB0ZXJtcywgbG9jYWxDb250ZXh0LCB2ZXJpZnlBaGVhZCkge1xuICBsZXQgdGVybVVuaWZpZWRXaXRoQ29uc3RydWN0b3JzID0gZmFsc2U7XG5cbiAgY29uc3QgdmFyaWFibGVOb2RlID0gdmFyaWFibGVOb2RlUXVlcnkodGVybU5vZGUpO1xuXG4gIGlmICh2YXJpYWJsZU5vZGUgPT09IG51bGwpIHtcbiAgICBjb25zdCBjb25zdHJ1Y3RvcnMgPSBsb2NhbENvbnRleHQuZ2V0Q29uc3RydWN0b3JzKCk7XG5cbiAgICB0ZXJtVW5pZmllZFdpdGhDb25zdHJ1Y3RvcnMgPSBjb25zdHJ1Y3RvcnMuc29tZSgoY29uc3RydWN0b3IpID0+IHtcbiAgICAgIGNvbnN0IHRlcm1VbmlmaWVkV2l0aENvbnN0cnVjdG9yID0gdW5pZnlUZXJtV2l0aENvbnN0cnVjdG9yKHRlcm1Ob2RlLCB0ZXJtcywgY29uc3RydWN0b3IsIGxvY2FsQ29udGV4dCwgdmVyaWZ5QWhlYWQpO1xuXG4gICAgICBpZiAodGVybVVuaWZpZWRXaXRoQ29uc3RydWN0b3IpIHtcbiAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICB9XG4gICAgfSk7XG4gIH1cblxuICByZXR1cm4gdGVybVVuaWZpZWRXaXRoQ29uc3RydWN0b3JzO1xufVxuIl0sIm5hbWVzIjpbInVuaWZ5VGVybVdpdGhDb25zdHJ1Y3RvcnMiLCJ2YXJpYWJsZU5vZGVRdWVyeSIsIm5vZGVRdWVyeSIsInRlcm1Ob2RlIiwidGVybXMiLCJsb2NhbENvbnRleHQiLCJ2ZXJpZnlBaGVhZCIsInRlcm1VbmlmaWVkV2l0aENvbnN0cnVjdG9ycyIsInZhcmlhYmxlTm9kZSIsImNvbnN0cnVjdG9ycyIsImdldENvbnN0cnVjdG9ycyIsInNvbWUiLCJjb25zdHJ1Y3RvciIsInRlcm1VbmlmaWVkV2l0aENvbnN0cnVjdG9yIiwidW5pZnlUZXJtV2l0aENvbnN0cnVjdG9yIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFRQTs7O2VBQXdCQTs7OzBFQU5hO3FCQUVYOzs7Ozs7QUFFMUIsSUFBTUMsb0JBQW9CQyxJQUFBQSxnQkFBUyxFQUFDO0FBRXJCLFNBQVNGLDBCQUEwQkcsUUFBUSxFQUFFQyxLQUFLLEVBQUVDLFlBQVksRUFBRUMsV0FBVztJQUMxRixJQUFJQyw4QkFBOEI7SUFFbEMsSUFBTUMsZUFBZVAsa0JBQWtCRTtJQUV2QyxJQUFJSyxpQkFBaUIsTUFBTTtRQUN6QixJQUFNQyxlQUFlSixhQUFhSyxlQUFlO1FBRWpESCw4QkFBOEJFLGFBQWFFLElBQUksQ0FBQyxTQUFDQztZQUMvQyxJQUFNQyw2QkFBNkJDLElBQUFBLDRCQUF3QixFQUFDWCxVQUFVQyxPQUFPUSxhQUFhUCxjQUFjQztZQUV4RyxJQUFJTyw0QkFBNEI7Z0JBQzlCLE9BQU87WUFDVDtRQUNGO0lBQ0Y7SUFFQSxPQUFPTjtBQUNUIn0=

package/lib/unify/termWithTerm.js

@@ -1,27 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return unifyTermWithTerm;
-    }
-});
-var _equivalences = require("../utilities/equivalences");
-function unifyTermWithTerm(leftTermNode, rightTermNode, localContext) {
-    var termUnifiedWithTerm;
-    var leftTermNodeMatchesRightTermNode = leftTermNode.match(rightTermNode);
-    if (leftTermNodeMatchesRightTermNode) {
-        termUnifiedWithTerm = true;
-    } else {
-        var equivalences = localContext.getEquivalences(), termNodes = [
-            leftTermNode,
-            rightTermNode
-        ], equivalence = (0, _equivalences.findEquivalenceByTermNodes)(equivalences, termNodes);
-        termUnifiedWithTerm = equivalence !== null;
-    }
-    return termUnifiedWithTerm;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91bmlmeS90ZXJtV2l0aFRlcm0uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IGZpbmRFcXVpdmFsZW5jZUJ5VGVybU5vZGVzIH0gZnJvbSBcIi4uL3V0aWxpdGllcy9lcXVpdmFsZW5jZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgZnVuY3Rpb24gdW5pZnlUZXJtV2l0aFRlcm0obGVmdFRlcm1Ob2RlLCByaWdodFRlcm1Ob2RlLCBsb2NhbENvbnRleHQpIHtcbiAgbGV0IHRlcm1VbmlmaWVkV2l0aFRlcm07XG5cbiAgY29uc3QgbGVmdFRlcm1Ob2RlTWF0Y2hlc1JpZ2h0VGVybU5vZGUgPSBsZWZ0VGVybU5vZGUubWF0Y2gocmlnaHRUZXJtTm9kZSk7XG5cbiAgaWYgKGxlZnRUZXJtTm9kZU1hdGNoZXNSaWdodFRlcm1Ob2RlKSB7XG4gICAgdGVybVVuaWZpZWRXaXRoVGVybSA9IHRydWU7XG4gIH0gZWxzZSB7XG4gICAgY29uc3QgZXF1aXZhbGVuY2VzID0gbG9jYWxDb250ZXh0LmdldEVxdWl2YWxlbmNlcygpLFxuICAgICAgICAgIHRlcm1Ob2RlcyA9IFtcbiAgICAgICAgICAgIGxlZnRUZXJtTm9kZSxcbiAgICAgICAgICAgIHJpZ2h0VGVybU5vZGVcbiAgICAgICAgICBdLFxuICAgICAgICAgIGVxdWl2YWxlbmNlID0gZmluZEVxdWl2YWxlbmNlQnlUZXJtTm9kZXMoZXF1aXZhbGVuY2VzLCB0ZXJtTm9kZXMpO1xuXG4gICAgdGVybVVuaWZpZWRXaXRoVGVybSA9IChlcXVpdmFsZW5jZSAhPT0gbnVsbCk7XG4gIH1cblxuICByZXR1cm4gdGVybVVuaWZpZWRXaXRoVGVybTtcbn1cbiJdLCJuYW1lcyI6WyJ1bmlmeVRlcm1XaXRoVGVybSIsImxlZnRUZXJtTm9kZSIsInJpZ2h0VGVybU5vZGUiLCJsb2NhbENvbnRleHQiLCJ0ZXJtVW5pZmllZFdpdGhUZXJtIiwibGVmdFRlcm1Ob2RlTWF0Y2hlc1JpZ2h0VGVybU5vZGUiLCJtYXRjaCIsImVxdWl2YWxlbmNlcyIsImdldEVxdWl2YWxlbmNlcyIsInRlcm1Ob2RlcyIsImVxdWl2YWxlbmNlIiwiZmluZEVxdWl2YWxlbmNlQnlUZXJtTm9kZXMiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUlBOzs7ZUFBd0JBOzs7NEJBRm1CO0FBRTVCLFNBQVNBLGtCQUFrQkMsWUFBWSxFQUFFQyxhQUFhLEVBQUVDLFlBQVk7SUFDakYsSUFBSUM7SUFFSixJQUFNQyxtQ0FBbUNKLGFBQWFLLEtBQUssQ0FBQ0o7SUFFNUQsSUFBSUcsa0NBQWtDO1FBQ3BDRCxzQkFBc0I7SUFDeEIsT0FBTztRQUNMLElBQU1HLGVBQWVKLGFBQWFLLGVBQWUsSUFDM0NDLFlBQVk7WUFDVlI7WUFDQUM7U0FDRCxFQUNEUSxjQUFjQyxJQUFBQSx3Q0FBMEIsRUFBQ0osY0FBY0U7UUFFN0RMLHNCQUF1Qk0sZ0JBQWdCO0lBQ3pDO0lBRUEsT0FBT047QUFDVCJ9

package/lib/unify/termWithType.js

@@ -1,24 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return unifyTermWithType;
-    }
-});
-var _termGivenType = /*#__PURE__*/ _interop_require_default(require("../verify/termGivenType"));
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-function unifyTermWithType(termNode, typeNode, localContext) {
-    var termUnifiedWithType;
-    var type = localContext.findTypeByTypeNode(typeNode), termVerifiedGivenType = (0, _termGivenType.default)(termNode, type, localContext);
-    termUnifiedWithType = termVerifiedGivenType; ///
-    return termUnifiedWithType;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91bmlmeS90ZXJtV2l0aFR5cGUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB2ZXJpZnlUZXJtR2l2ZW5UeXBlIGZyb20gXCIuLi92ZXJpZnkvdGVybUdpdmVuVHlwZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBmdW5jdGlvbiB1bmlmeVRlcm1XaXRoVHlwZSh0ZXJtTm9kZSwgdHlwZU5vZGUsIGxvY2FsQ29udGV4dCkge1xuICBsZXQgdGVybVVuaWZpZWRXaXRoVHlwZTtcblxuICBjb25zdCB0eXBlID0gbG9jYWxDb250ZXh0LmZpbmRUeXBlQnlUeXBlTm9kZSh0eXBlTm9kZSksXG4gICAgICAgIHRlcm1WZXJpZmllZEdpdmVuVHlwZSA9IHZlcmlmeVRlcm1HaXZlblR5cGUodGVybU5vZGUsIHR5cGUsIGxvY2FsQ29udGV4dCk7XG5cbiAgdGVybVVuaWZpZWRXaXRoVHlwZSA9IHRlcm1WZXJpZmllZEdpdmVuVHlwZTsgIC8vL1xuXG4gIHJldHVybiB0ZXJtVW5pZmllZFdpdGhUeXBlO1xufVxuIl0sIm5hbWVzIjpbInVuaWZ5VGVybVdpdGhUeXBlIiwidGVybU5vZGUiLCJ0eXBlTm9kZSIsImxvY2FsQ29udGV4dCIsInRlcm1VbmlmaWVkV2l0aFR5cGUiLCJ0eXBlIiwiZmluZFR5cGVCeVR5cGVOb2RlIiwidGVybVZlcmlmaWVkR2l2ZW5UeXBlIiwidmVyaWZ5VGVybUdpdmVuVHlwZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBSUE7OztlQUF3QkE7OztvRUFGUTs7Ozs7O0FBRWpCLFNBQVNBLGtCQUFrQkMsUUFBUSxFQUFFQyxRQUFRLEVBQUVDLFlBQVk7SUFDeEUsSUFBSUM7SUFFSixJQUFNQyxPQUFPRixhQUFhRyxrQkFBa0IsQ0FBQ0osV0FDdkNLLHdCQUF3QkMsSUFBQUEsc0JBQW1CLEVBQUNQLFVBQVVJLE1BQU1GO0lBRWxFQyxzQkFBc0JHLHVCQUF3QixHQUFHO0lBRWpELE9BQU9IO0FBQ1QifQ==