occam-verify-cli 1.0.983 → 1.0.985

package/lib/node/types.js

@@ -1,23 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return TypesNode;
-    }
-});
-const _occamlanguages = require("occam-languages");
-const _ruleNames = require("../ruleNames");
-class TypesNode extends _occamlanguages.NonTerminalNode {
-    getTypeNodes() {
-        const ruleName = _ruleNames.TYPE_RULE_NAME, typeNodes = this.getNodesByRuleName(ruleName);
-        return typeNodes;
-    }
-    static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
-        return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(TypesNode, ruleName, childNodes, opacity, precedence);
-    }
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3R5cGVzLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBOb25UZXJtaW5hbE5vZGUgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5cbmltcG9ydCB7IFRZUEVfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBUeXBlc05vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRUeXBlTm9kZXMoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBUWVBFX1JVTEVfTkFNRSxcbiAgICAgICAgICB0eXBlTm9kZXMgPSB0aGlzLmdldE5vZGVzQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gdHlwZU5vZGVzO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShUeXBlc05vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlR5cGVzTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldFR5cGVOb2RlcyIsInJ1bGVOYW1lIiwiVFlQRV9SVUxFX05BTUUiLCJ0eXBlTm9kZXMiLCJnZXROb2Rlc0J5UnVsZU5hbWUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7Z0NBSlc7MkJBRUQ7QUFFaEIsTUFBTUEsa0JBQWtCQywrQkFBZTtJQUNwREMsZUFBZTtRQUNiLE1BQU1DLFdBQVdDLHlCQUFjLEVBQ3pCQyxZQUFZLElBQUksQ0FBQ0Msa0JBQWtCLENBQUNIO1FBRTFDLE9BQU9FO0lBQ1Q7SUFFQSxPQUFPRSwyQ0FBMkNKLFFBQVEsRUFBRUssVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9ULCtCQUFlLENBQUNNLDBDQUEwQyxDQUFDUCxXQUFXRyxVQUFVSyxZQUFZQyxTQUFTQztJQUFhO0FBQzFOIn0=

package/lib/node/variable.js

@@ -1,30 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return VariableNode;
-    }
-});
-const _occamlanguages = require("occam-languages");
-class VariableNode extends _occamlanguages.NonTerminalNode {
-    getVariableIdentifier() {
-        let variableIdentifier;
-        this.someChildNode((childNode)=>{
-            const childNodeTerminalNode = childNode.isTerminalNode();
-            if (childNodeTerminalNode) {
-                const terminalNode = childNode, content = terminalNode.getContent();
-                variableIdentifier = content; ///
-                return true;
-            }
-        });
-        return variableIdentifier;
-    }
-    static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
-        return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(VariableNode, ruleName, childNodes, opacity, precedence);
-    }
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3ZhcmlhYmxlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBOb25UZXJtaW5hbE5vZGUgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFZhcmlhYmxlTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldFZhcmlhYmxlSWRlbnRpZmllcigpIHtcbiAgICBsZXQgdmFyaWFibGVJZGVudGlmaWVyO1xuXG4gICAgdGhpcy5zb21lQ2hpbGROb2RlKChjaGlsZE5vZGUpID0+IHtcbiAgICAgIGNvbnN0IGNoaWxkTm9kZVRlcm1pbmFsTm9kZSA9IGNoaWxkTm9kZS5pc1Rlcm1pbmFsTm9kZSgpO1xuXG4gICAgICBpZiAoY2hpbGROb2RlVGVybWluYWxOb2RlKSB7XG4gICAgICAgIGNvbnN0IHRlcm1pbmFsTm9kZSA9IGNoaWxkTm9kZSwgLy8vXG4gICAgICAgICAgICAgIGNvbnRlbnQgPSB0ZXJtaW5hbE5vZGUuZ2V0Q29udGVudCgpO1xuXG4gICAgICAgIHZhcmlhYmxlSWRlbnRpZmllciA9IGNvbnRlbnQ7IC8vL1xuXG4gICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgfVxuICAgIH0pO1xuXG4gICAgcmV0dXJuIHZhcmlhYmxlSWRlbnRpZmllcjtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoVmFyaWFibGVOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJWYXJpYWJsZU5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXRWYXJpYWJsZUlkZW50aWZpZXIiLCJ2YXJpYWJsZUlkZW50aWZpZXIiLCJzb21lQ2hpbGROb2RlIiwiY2hpbGROb2RlIiwiY2hpbGROb2RlVGVybWluYWxOb2RlIiwiaXNUZXJtaW5hbE5vZGUiLCJ0ZXJtaW5hbE5vZGUiLCJjb250ZW50IiwiZ2V0Q29udGVudCIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFJQTs7O2VBQXFCQTs7O2dDQUZXO0FBRWpCLE1BQU1BLHFCQUFxQkMsK0JBQWU7SUFDdkRDLHdCQUF3QjtRQUN0QixJQUFJQztRQUVKLElBQUksQ0FBQ0MsYUFBYSxDQUFDLENBQUNDO1lBQ2xCLE1BQU1DLHdCQUF3QkQsVUFBVUUsY0FBYztZQUV0RCxJQUFJRCx1QkFBdUI7Z0JBQ3pCLE1BQU1FLGVBQWVILFdBQ2ZJLFVBQVVELGFBQWFFLFVBQVU7Z0JBRXZDUCxxQkFBcUJNLFNBQVMsR0FBRztnQkFFakMsT0FBTztZQUNUO1FBQ0Y7UUFFQSxPQUFPTjtJQUNUO0lBRUEsT0FBT1EsMkNBQTJDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPZCwrQkFBZSxDQUFDVSwwQ0FBMEMsQ0FBQ1gsY0FBY1ksVUFBVUMsWUFBWUMsU0FBU0M7SUFBYTtBQUM3TiJ9

package/lib/nominal/lexer.js

@@ -1,15 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return NominalLexer;
-    }
-});
-const _occamgrammars = require("occam-grammars");
-class NominalLexer extends _occamgrammars.NominalLexer {
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub21pbmFsL2xleGVyLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBOb21pbmFsTGV4ZXIgYXMgTm9taW5hbExleGVyQmFzZSB9IGZyb20gXCJvY2NhbS1ncmFtbWFyc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBOb21pbmFsTGV4ZXIgZXh0ZW5kcyBOb21pbmFsTGV4ZXJCYXNlIHt9XG4iXSwibmFtZXMiOlsiTm9taW5hbExleGVyIiwiTm9taW5hbExleGVyQmFzZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBSUE7OztlQUFxQkE7OzsrQkFGNEI7QUFFbEMsTUFBTUEscUJBQXFCQywyQkFBZ0I7QUFBRSJ9

package/lib/nominal/parser.js

@@ -1,24 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return NominalParser;
-    }
-});
-const _occamlanguages = require("occam-languages");
-const _occamgrammars = require("occam-grammars");
-const _nonTerminalNodeMap = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNodeMap"));
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-class NominalParser extends _occamgrammars.NominalParser {
-    static NonTerminalNodeMap = _nonTerminalNodeMap.default;
-    static defaultNonTerminalNode = _occamlanguages.NonTerminalNode;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub21pbmFsL3BhcnNlci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgTm9uVGVybWluYWxOb2RlIH0gZnJvbSBcIm9jY2FtLWxhbmd1YWdlc1wiO1xuaW1wb3J0IHsgTm9taW5hbFBhcnNlciBhcyBOb21pbmFsUGFyc2VyQmFzZSB9IGZyb20gXCJvY2NhbS1ncmFtbWFyc1wiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlTWFwIGZyb20gXCIuLi9ub25UZXJtaW5hbE5vZGVNYXBcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgTm9taW5hbFBhcnNlciBleHRlbmRzIE5vbWluYWxQYXJzZXJCYXNlIHtcbiAgc3RhdGljIE5vblRlcm1pbmFsTm9kZU1hcCA9IE5vblRlcm1pbmFsTm9kZU1hcDtcblxuICBzdGF0aWMgZGVmYXVsdE5vblRlcm1pbmFsTm9kZSA9IE5vblRlcm1pbmFsTm9kZTtcbn1cbiJdLCJuYW1lcyI6WyJOb21pbmFsUGFyc2VyIiwiTm9taW5hbFBhcnNlckJhc2UiLCJOb25UZXJtaW5hbE5vZGVNYXAiLCJkZWZhdWx0Tm9uVGVybWluYWxOb2RlIiwiTm9uVGVybWluYWxOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFPQTs7O2VBQXFCQTs7O2dDQUxXOytCQUNtQjsyRUFFcEI7Ozs7OztBQUVoQixNQUFNQSxzQkFBc0JDLDRCQUFpQjtJQUMxRCxPQUFPQyxxQkFBcUJBLDJCQUFrQixDQUFDO0lBRS9DLE9BQU9DLHlCQUF5QkMsK0JBQWUsQ0FBQztBQUNsRCJ9

package/lib/nonTerminalNodeMap.js

@@ -1,189 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return _default;
-    }
-});
-const _term = /*#__PURE__*/ _interop_require_default(require("./node/term"));
-const _rule = /*#__PURE__*/ _interop_require_default(require("./node/rule"));
-const _step = /*#__PURE__*/ _interop_require_default(require("./node/proofAssertion/step"));
-const _type = /*#__PURE__*/ _interop_require_default(require("./node/type"));
-const _types = /*#__PURE__*/ _interop_require_default(require("./node/types"));
-const _error = /*#__PURE__*/ _interop_require_default(require("./node/error"));
-const _frame = /*#__PURE__*/ _interop_require_default(require("./node/frame"));
-const _axiom = /*#__PURE__*/ _interop_require_default(require("./node/topLevelAssertion/axiom"));
-const _lemma = /*#__PURE__*/ _interop_require_default(require("./node/topLevelAssertion/lemma"));
-const _proof = /*#__PURE__*/ _interop_require_default(require("./node/proof"));
-const _label = /*#__PURE__*/ _interop_require_default(require("./node/label"));
-const _labels = /*#__PURE__*/ _interop_require_default(require("./node/labels"));
-const _section = /*#__PURE__*/ _interop_require_default(require("./node/section"));
-const _premise = /*#__PURE__*/ _interop_require_default(require("./node/proofAssertion/premise"));
-const _theorem = /*#__PURE__*/ _interop_require_default(require("./node/topLevelAssertion/theorem"));
-const _argument = /*#__PURE__*/ _interop_require_default(require("./node/argument"));
-const _subproof = /*#__PURE__*/ _interop_require_default(require("./node/subproof"));
-const _property = /*#__PURE__*/ _interop_require_default(require("./node/property"));
-const _metaType = /*#__PURE__*/ _interop_require_default(require("./node/metaType"));
-const _equality = /*#__PURE__*/ _interop_require_default(require("./node/equality"));
-const _variable = /*#__PURE__*/ _interop_require_default(require("./node/variable"));
-const _document = /*#__PURE__*/ _interop_require_default(require("./node/document"));
-const _rule1 = /*#__PURE__*/ _interop_require_default(require("./node/body/rule"));
-const _statement = /*#__PURE__*/ _interop_require_default(require("./node/statement"));
-const _reference = /*#__PURE__*/ _interop_require_default(require("./node/reference"));
-const _deduction = /*#__PURE__*/ _interop_require_default(require("./node/deduction"));
-const _judgement = /*#__PURE__*/ _interop_require_default(require("./node/judgement"));
-const _metaLemma = /*#__PURE__*/ _interop_require_default(require("./node/topLevelMetaAssertion/metaLemma"));
-const _parameter = /*#__PURE__*/ _interop_require_default(require("./node/parameter"));
-const _signature = /*#__PURE__*/ _interop_require_default(require("./node/signature"));
-const _axiom1 = /*#__PURE__*/ _interop_require_default(require("./node/body/axiom"));
-const _lemma1 = /*#__PURE__*/ _interop_require_default(require("./node/body/lemma"));
-const _derivation = /*#__PURE__*/ _interop_require_default(require("./node/derivation"));
-const _combinator = /*#__PURE__*/ _interop_require_default(require("./node/combinator"));
-const _conclusion = /*#__PURE__*/ _interop_require_default(require("./node/conclusion"));
-const _conjecture = /*#__PURE__*/ _interop_require_default(require("./node/topLevelAssertion/conjecture"));
-const _hypothesis = /*#__PURE__*/ _interop_require_default(require("./node/hypothesis"));
-const _typePrefix = /*#__PURE__*/ _interop_require_default(require("./node/typePrefix"));
-const _assumption = /*#__PURE__*/ _interop_require_default(require("./node/assumption"));
-const _rule2 = /*#__PURE__*/ _interop_require_default(require("./node/header/rule"));
-const _supposition = /*#__PURE__*/ _interop_require_default(require("./node/proofAssertion/supposition"));
-const _placeholder = /*#__PURE__*/ _interop_require_default(require("./node/placeholder"));
-const _constructor = /*#__PURE__*/ _interop_require_default(require("./node/constructor"));
-const _metatheorem = /*#__PURE__*/ _interop_require_default(require("./node/topLevelMetaAssertion/metatheorem"));
-const _equivalence = /*#__PURE__*/ _interop_require_default(require("./node/equivalence"));
-const _theorem1 = /*#__PURE__*/ _interop_require_default(require("./node/body/theorem"));
-const _axiom2 = /*#__PURE__*/ _interop_require_default(require("./node/header/axiom"));
-const _lemma2 = /*#__PURE__*/ _interop_require_default(require("./node/header/lemma"));
-const _equivalences = /*#__PURE__*/ _interop_require_default(require("./node/equivalences"));
-const _metaArgument = /*#__PURE__*/ _interop_require_default(require("./node/metaArgument"));
-const _metavariable = /*#__PURE__*/ _interop_require_default(require("./node/metavariable"));
-const _qualification = /*#__PURE__*/ _interop_require_default(require("./node/qualification"));
-const _procedureCall = /*#__PURE__*/ _interop_require_default(require("./node/procedureCall"));
-const _subDerivation = /*#__PURE__*/ _interop_require_default(require("./node/subDerivation"));
-const _theorem2 = /*#__PURE__*/ _interop_require_default(require("./node/header/theorem"));
-const _metaLemma1 = /*#__PURE__*/ _interop_require_default(require("./node/body/metaLemma"));
-const _type1 = /*#__PURE__*/ _interop_require_default(require("./node/assertion/type"));
-const _conjecture1 = /*#__PURE__*/ _interop_require_default(require("./node/body/conjecture"));
-const _metatheorem1 = /*#__PURE__*/ _interop_require_default(require("./node/body/metatheorem"));
-const _metaLemma2 = /*#__PURE__*/ _interop_require_default(require("./node/header/metaLemma"));
-const _propertyRelation = /*#__PURE__*/ _interop_require_default(require("./node/propertyRelation"));
-const _defined = /*#__PURE__*/ _interop_require_default(require("./node/assertion/defined"));
-const _term1 = /*#__PURE__*/ _interop_require_default(require("./node/substitution/term"));
-const _conjecture2 = /*#__PURE__*/ _interop_require_default(require("./node/header/conjecture"));
-const _metatheorem2 = /*#__PURE__*/ _interop_require_default(require("./node/header/metatheorem"));
-const _property1 = /*#__PURE__*/ _interop_require_default(require("./node/assertion/property"));
-const _subproof1 = /*#__PURE__*/ _interop_require_default(require("./node/assertion/subproof"));
-const _frame1 = /*#__PURE__*/ _interop_require_default(require("./node/substitution/frame"));
-const _parenthesisedLabel = /*#__PURE__*/ _interop_require_default(require("./node/parenthesisedLabel"));
-const _procedureReference = /*#__PURE__*/ _interop_require_default(require("./node/procedureReference"));
-const _contained = /*#__PURE__*/ _interop_require_default(require("./node/assertion/contained"));
-const _signature1 = /*#__PURE__*/ _interop_require_default(require("./node/assertion/signature"));
-const _parenthesisedLabels = /*#__PURE__*/ _interop_require_default(require("./node/parenthesisedLabels"));
-const _property2 = /*#__PURE__*/ _interop_require_default(require("./node/declaration/property"));
-const _variable1 = /*#__PURE__*/ _interop_require_default(require("./node/declaration/variable"));
-const _metaLevel = /*#__PURE__*/ _interop_require_default(require("./node/assumption/metaLevel"));
-const _simpleType = /*#__PURE__*/ _interop_require_default(require("./node/declaration/simpleType"));
-const _combinator1 = /*#__PURE__*/ _interop_require_default(require("./node/declaration/combinator"));
-const _reference1 = /*#__PURE__*/ _interop_require_default(require("./node/substitution/reference"));
-const _statement1 = /*#__PURE__*/ _interop_require_default(require("./node/substitution/statement"));
-const _typePrefix1 = /*#__PURE__*/ _interop_require_default(require("./node/declaration/typePrefix"));
-const _complexType = /*#__PURE__*/ _interop_require_default(require("./node/declaration/complexType"));
-const _constructor1 = /*#__PURE__*/ _interop_require_default(require("./node/declaration/constructor"));
-const _metavariable1 = /*#__PURE__*/ _interop_require_default(require("./node/declaration/metavariable"));
-const _ruleNames = require("./ruleNames");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-const NonTerminalNodeMap = {
-    [_ruleNames.RULE_RULE_NAME]: _rule.default,
-    [_ruleNames.STEP_RULE_NAME]: _step.default,
-    [_ruleNames.TERM_RULE_NAME]: _term.default,
-    [_ruleNames.TYPE_RULE_NAME]: _type.default,
-    [_ruleNames.TYPES_RULE_NAME]: _types.default,
-    [_ruleNames.ERROR_RULE_NAME]: _error.default,
-    [_ruleNames.FRAME_RULE_NAME]: _frame.default,
-    [_ruleNames.LEMMA_RULE_NAME]: _lemma.default,
-    [_ruleNames.AXIOM_RULE_NAME]: _axiom.default,
-    [_ruleNames.PROOF_RULE_NAME]: _proof.default,
-    [_ruleNames.LABEL_RULE_NAME]: _label.default,
-    [_ruleNames.LABELS_RULE_NAME]: _labels.default,
-    [_ruleNames.THEOREM_RULE_NAME]: _theorem.default,
-    [_ruleNames.PREMISE_RULE_NAME]: _premise.default,
-    [_ruleNames.SECTION_RULE_NAME]: _section.default,
-    [_ruleNames.ARGUMENT_RULE_NAME]: _argument.default,
-    [_ruleNames.PROPERTY_RULE_NAME]: _property.default,
-    [_ruleNames.SUBPROOF_RULE_NAME]: _subproof.default,
-    [_ruleNames.EQUALITY_RULE_NAME]: _equality.default,
-    [_ruleNames.VARIABLE_RULE_NAME]: _variable.default,
-    [_ruleNames.DOCUMENT_RULE_NAME]: _document.default,
-    [_ruleNames.RULE_BODY_RULE_NAME]: _rule1.default,
-    [_ruleNames.META_TYPE_RULE_NAME]: _metaType.default,
-    [_ruleNames.SIGNATURE_RULE_NAME]: _signature.default,
-    [_ruleNames.REFERENCE_RULE_NAME]: _reference.default,
-    [_ruleNames.JUDGEMENT_RULE_NAME]: _judgement.default,
-    [_ruleNames.DEDUCTION_RULE_NAME]: _deduction.default,
-    [_ruleNames.PARAMETER_RULE_NAME]: _parameter.default,
-    [_ruleNames.STATEMENT_RULE_NAME]: _statement.default,
-    [_ruleNames.AXIOM_BODY_RULE_NAME]: _axiom1.default,
-    [_ruleNames.LEMMA_BODY_RULE_NAME]: _lemma1.default,
-    [_ruleNames.META_LEMMA_RULE_NAME]: _metaLemma.default,
-    [_ruleNames.COMBINATOR_RULE_NAME]: _combinator.default,
-    [_ruleNames.CONCLUSION_RULE_NAME]: _conclusion.default,
-    [_ruleNames.CONJECTURE_RULE_NAME]: _conjecture.default,
-    [_ruleNames.DERIVATION_RULE_NAME]: _derivation.default,
-    [_ruleNames.HYPOTHESIS_RULE_NAME]: _hypothesis.default,
-    [_ruleNames.ASSUMPTION_RULE_NAME]: _assumption.default,
-    [_ruleNames.RULE_HEADER_RULE_NAME]: _rule2.default,
-    [_ruleNames.TYPE_PREFIX_RULE_NAME]: _typePrefix.default,
-    [_ruleNames.PLACEHOLDER_RULE_NAME]: _placeholder.default,
-    [_ruleNames.SUPPOSITION_RULE_NAME]: _supposition.default,
-    [_ruleNames.CONSTRUCTOR_RULE_NAME]: _constructor.default,
-    [_ruleNames.METATHEOREM_RULE_NAME]: _metatheorem.default,
-    [_ruleNames.EQUIVALENCE_RULE_NAME]: _equivalence.default,
-    [_ruleNames.AXIOM_HEADER_RULE_NAME]: _axiom2.default,
-    [_ruleNames.LEMMA_HEADER_RULE_NAME]: _lemma2.default,
-    [_ruleNames.THEOREM_BODY_RULE_NAME]: _theorem1.default,
-    [_ruleNames.METAVARIABLE_RULE_NAME]: _metavariable.default,
-    [_ruleNames.EQUIVALENCES_RULE_NAME]: _equivalences.default,
-    [_ruleNames.META_ARGUMENT_RULE_NAME]: _metaArgument.default,
-    [_ruleNames.QUALIFICATION_RULE_NAME]: _qualification.default,
-    [_ruleNames.TYPE_ASSERTION_RULE_NAME]: _type1.default,
-    [_ruleNames.PROCEDURE_CALL_RULE_NAME]: _procedureCall.default,
-    [_ruleNames.SUB_DERIVATION_RULE_NAME]: _subDerivation.default,
-    [_ruleNames.THEOREM_HEADER_RULE_NAME]: _theorem2.default,
-    [_ruleNames.META_LEMMA_BODY_RULE_NAME]: _metaLemma1.default,
-    [_ruleNames.CONJECTURE_BODY_RULE_NAME]: _conjecture1.default,
-    [_ruleNames.METATHEOREM_BODY_RULE_NAME]: _metatheorem1.default,
-    [_ruleNames.META_LEMMA_HEADER_RULE_NAME]: _metaLemma2.default,
-    [_ruleNames.CONJECTURE_HEADER_RULE_NAME]: _conjecture2.default,
-    [_ruleNames.PROPERTY_RELATION_RULE_NAME]: _propertyRelation.default,
-    [_ruleNames.DEFINED_ASSERTION_RULE_NAME]: _defined.default,
-    [_ruleNames.TERM_SUBSTITUTION_RULE_NAME]: _term1.default,
-    [_ruleNames.METATHEOREM_HEADER_RULE_NAME]: _metatheorem2.default,
-    [_ruleNames.SUBPROOF_ASSERTION_RULE_NAME]: _subproof1.default,
-    [_ruleNames.PROPERTY_ASSERTION_RULE_NAME]: _property1.default,
-    [_ruleNames.FRAME_SUBSTITUTION_RULE_NAME]: _frame1.default,
-    [_ruleNames.PROCEDURE_REFERENCE_RULE_NAME]: _procedureReference.default,
-    [_ruleNames.PARENTHESISED_LABEL_RULE_NAME]: _parenthesisedLabel.default,
-    [_ruleNames.SIGNATURE_ASSERTION_RULE_NAME]: _signature1.default,
-    [_ruleNames.CONTAINED_ASSERTION_RULE_NAME]: _contained.default,
-    [_ruleNames.PARENTHESISED_LABELS_RULE_NAME]: _parenthesisedLabels.default,
-    [_ruleNames.VARIABLE_DECLARATION_RULE_NAME]: _variable1.default,
-    [_ruleNames.PROPERTY_DECLARATION_RULE_NAME]: _property2.default,
-    [_ruleNames.META_LEVEL_ASSUMPTION_RULE_NAME]: _metaLevel.default,
-    [_ruleNames.COMBINATOR_DECLARATION_RULE_NAME]: _combinator1.default,
-    [_ruleNames.STATEMENT_SUBSTITUTION_RULE_NAME]: _statement1.default,
-    [_ruleNames.REFERENCE_SUBSTITUTION_RULE_NAME]: _reference1.default,
-    [_ruleNames.SIMPLE_TYPE_DECLARATION_RULE_NAME]: _simpleType.default,
-    [_ruleNames.TYPE_PREFIX_DECLARATION_RULE_NAME]: _typePrefix1.default,
-    [_ruleNames.CONSTRUCTOR_DECLARATION_RULE_NAME]: _constructor1.default,
-    [_ruleNames.COMPLEX_TYPE_DECLARATION_RULE_NAME]: _complexType.default,
-    [_ruleNames.METAVARIABLE_DECLARATION_RULE_NAME]: _metavariable1.default
-};
-const _default = NonTerminalNodeMap;
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9ub25UZXJtaW5hbE5vZGVNYXAuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBUZXJtTm9kZSBmcm9tIFwiLi9ub2RlL3Rlcm1cIjtcbmltcG9ydCBSdWxlTm9kZSBmcm9tIFwiLi9ub2RlL3J1bGVcIjtcbmltcG9ydCBTdGVwTm9kZSBmcm9tIFwiLi9ub2RlL3Byb29mQXNzZXJ0aW9uL3N0ZXBcIjtcbmltcG9ydCBUeXBlTm9kZSBmcm9tIFwiLi9ub2RlL3R5cGVcIjtcbmltcG9ydCBUeXBlc05vZGUgZnJvbSBcIi4vbm9kZS90eXBlc1wiO1xuaW1wb3J0IEVycm9yTm9kZSBmcm9tIFwiLi9ub2RlL2Vycm9yXCI7XG5pbXBvcnQgRnJhbWVOb2RlIGZyb20gXCIuL25vZGUvZnJhbWVcIjtcbmltcG9ydCBBeGlvbU5vZGUgZnJvbSBcIi4vbm9kZS90b3BMZXZlbEFzc2VydGlvbi9heGlvbVwiO1xuaW1wb3J0IExlbW1hTm9kZSBmcm9tIFwiLi9ub2RlL3RvcExldmVsQXNzZXJ0aW9uL2xlbW1hXCI7XG5pbXBvcnQgUHJvb2ZOb2RlIGZyb20gXCIuL25vZGUvcHJvb2ZcIjtcbmltcG9ydCBMYWJlbE5vZGUgZnJvbSBcIi4vbm9kZS9sYWJlbFwiO1xuaW1wb3J0IExhYmVsc05vZGUgZnJvbSBcIi4vbm9kZS9sYWJlbHNcIjtcbmltcG9ydCBTZWN0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL3NlY3Rpb25cIjtcbmltcG9ydCBQcmVtaXNlTm9kZSBmcm9tIFwiLi9ub2RlL3Byb29mQXNzZXJ0aW9uL3ByZW1pc2VcIjtcbmltcG9ydCBUaGVvcmVtTm9kZSBmcm9tIFwiLi9ub2RlL3RvcExldmVsQXNzZXJ0aW9uL3RoZW9yZW1cIjtcbmltcG9ydCBBcmd1bWVudE5vZGUgZnJvbSBcIi4vbm9kZS9hcmd1bWVudFwiO1xuaW1wb3J0IFN1YnByb29mTm9kZSBmcm9tIFwiLi9ub2RlL3N1YnByb29mXCI7XG5pbXBvcnQgUHJvcGVydHlOb2RlIGZyb20gXCIuL25vZGUvcHJvcGVydHlcIjtcbmltcG9ydCBNZXRhVHlwZU5vZGUgZnJvbSBcIi4vbm9kZS9tZXRhVHlwZVwiO1xuaW1wb3J0IEVxdWFsaXR5Tm9kZSBmcm9tIFwiLi9ub2RlL2VxdWFsaXR5XCI7XG5pbXBvcnQgVmFyaWFibGVOb2RlIGZyb20gXCIuL25vZGUvdmFyaWFibGVcIjtcbmltcG9ydCBEb2N1bWVudE5vZGUgZnJvbSBcIi4vbm9kZS9kb2N1bWVudFwiO1xuaW1wb3J0IFJ1bGVCb2R5Tm9kZSBmcm9tIFwiLi9ub2RlL2JvZHkvcnVsZVwiO1xuaW1wb3J0IFN0YXRlbWVudE5vZGUgZnJvbSBcIi4vbm9kZS9zdGF0ZW1lbnRcIjtcbmltcG9ydCBSZWZlcmVuY2VOb2RlIGZyb20gXCIuL25vZGUvcmVmZXJlbmNlXCI7XG5pbXBvcnQgRGVkdWN0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlZHVjdGlvblwiO1xuaW1wb3J0IEp1ZGdlbWVudE5vZGUgZnJvbSBcIi4vbm9kZS9qdWRnZW1lbnRcIjtcbmltcG9ydCBNZXRhTGVtbWFOb2RlIGZyb20gXCIuL25vZGUvdG9wTGV2ZWxNZXRhQXNzZXJ0aW9uL21ldGFMZW1tYVwiO1xuaW1wb3J0IFBhcmFtZXRlck5vZGUgZnJvbSBcIi4vbm9kZS9wYXJhbWV0ZXJcIjtcbmltcG9ydCBTaWduYXR1cmVOb2RlIGZyb20gXCIuL25vZGUvc2lnbmF0dXJlXCI7XG5pbXBvcnQgQXhpb21Cb2R5Tm9kZSBmcm9tIFwiLi9ub2RlL2JvZHkvYXhpb21cIjtcbmltcG9ydCBMZW1tYUJvZHlOb2RlIGZyb20gXCIuL25vZGUvYm9keS9sZW1tYVwiO1xuaW1wb3J0IERlcml2YXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVyaXZhdGlvblwiO1xuaW1wb3J0IENvbWJpbmF0b3JOb2RlIGZyb20gXCIuL25vZGUvY29tYmluYXRvclwiO1xuaW1wb3J0IENvbmNsdXNpb25Ob2RlIGZyb20gXCIuL25vZGUvY29uY2x1c2lvblwiO1xuaW1wb3J0IENvbmplY3R1cmVOb2RlIGZyb20gXCIuL25vZGUvdG9wTGV2ZWxBc3NlcnRpb24vY29uamVjdHVyZVwiO1xuaW1wb3J0IEh5cG90aGVzaXNOb2RlIGZyb20gXCIuL25vZGUvaHlwb3RoZXNpc1wiO1xuaW1wb3J0IFR5cGVQcmVmaXhOb2RlIGZyb20gXCIuL25vZGUvdHlwZVByZWZpeFwiO1xuaW1wb3J0IEFzc3VtcHRpb25Ob2RlIGZyb20gXCIuL25vZGUvYXNzdW1wdGlvblwiO1xuaW1wb3J0IFJ1bGVIZWFkZXJOb2RlIGZyb20gXCIuL25vZGUvaGVhZGVyL3J1bGVcIjtcbmltcG9ydCBTdXBwb3NpdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9wcm9vZkFzc2VydGlvbi9zdXBwb3NpdGlvblwiO1xuaW1wb3J0IFBsYWNlaG9sZGVyTm9kZSBmcm9tIFwiLi9ub2RlL3BsYWNlaG9sZGVyXCI7XG5pbXBvcnQgQ29uc3RydWN0b3JOb2RlIGZyb20gXCIuL25vZGUvY29uc3RydWN0b3JcIjtcbmltcG9ydCBNZXRhdGhlb3JlbU5vZGUgZnJvbSBcIi4vbm9kZS90b3BMZXZlbE1ldGFBc3NlcnRpb24vbWV0YXRoZW9yZW1cIjtcbmltcG9ydCBFcXVpdmFsZW5jZU5vZGUgZnJvbSBcIi4vbm9kZS9lcXVpdmFsZW5jZVwiO1xuaW1wb3J0IFRoZW9yZW1Cb2R5Tm9kZSBmcm9tIFwiLi9ub2RlL2JvZHkvdGhlb3JlbVwiO1xuaW1wb3J0IEF4aW9tSGVhZGVyTm9kZSBmcm9tIFwiLi9ub2RlL2hlYWRlci9heGlvbVwiO1xuaW1wb3J0IExlbW1hSGVhZGVyTm9kZSBmcm9tIFwiLi9ub2RlL2hlYWRlci9sZW1tYVwiO1xuaW1wb3J0IEVxdWl2YWxlbmNlc05vZGUgZnJvbSBcIi4vbm9kZS9lcXVpdmFsZW5jZXNcIjtcbmltcG9ydCBNZXRhQXJndW1lbnROb2RlIGZyb20gXCIuL25vZGUvbWV0YUFyZ3VtZW50XCI7XG5pbXBvcnQgTWV0YXZhcmlhYmxlTm9kZSBmcm9tIFwiLi9ub2RlL21ldGF2YXJpYWJsZVwiO1xuaW1wb3J0IFF1YWxpZmljYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvcXVhbGlmaWNhdGlvblwiO1xuaW1wb3J0IFByb2NlZHVyZUNhbGxOb2RlIGZyb20gXCIuL25vZGUvcHJvY2VkdXJlQ2FsbFwiO1xuaW1wb3J0IFN1YkRlcml2YXRpb25Ob2RlIGZyb20gXCIuL25vZGUvc3ViRGVyaXZhdGlvblwiO1xuaW1wb3J0IFRoZW9yZW1IZWFkZXJOb2RlIGZyb20gXCIuL25vZGUvaGVhZGVyL3RoZW9yZW1cIjtcbmltcG9ydCBNZXRhTGVtbWFCb2R5Tm9kZSBmcm9tIFwiLi9ub2RlL2JvZHkvbWV0YUxlbW1hXCI7XG5pbXBvcnQgVHlwZUFzc2VydGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9hc3NlcnRpb24vdHlwZVwiO1xuaW1wb3J0IENvbmplY3R1cmVCb2R5Tm9kZSBmcm9tIFwiLi9ub2RlL2JvZHkvY29uamVjdHVyZVwiO1xuaW1wb3J0IE1ldGF0aGVvcmVtQm9keU5vZGUgZnJvbSBcIi4vbm9kZS9ib2R5L21ldGF0aGVvcmVtXCI7XG5pbXBvcnQgTWV0YUxlbW1hSGVhZGVyTm9kZSBmcm9tIFwiLi9ub2RlL2hlYWRlci9tZXRhTGVtbWFcIjtcbmltcG9ydCBQcm9wZXJ0eVJlbGF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL3Byb3BlcnR5UmVsYXRpb25cIlxuaW1wb3J0IERlZmluZWRBc3NlcnRpb25Ob2RlIGZyb20gXCIuL25vZGUvYXNzZXJ0aW9uL2RlZmluZWRcIjtcbmltcG9ydCBUZXJtU3Vic3RpdHV0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL3N1YnN0aXR1dGlvbi90ZXJtXCI7XG5pbXBvcnQgQ29uamVjdHVyZUhlYWRlck5vZGUgZnJvbSBcIi4vbm9kZS9oZWFkZXIvY29uamVjdHVyZVwiO1xuaW1wb3J0IE1ldGF0aGVvcmVtSGVhZGVyTm9kZSBmcm9tIFwiLi9ub2RlL2hlYWRlci9tZXRhdGhlb3JlbVwiO1xuaW1wb3J0IFByb3BlcnR5QXNzZXJ0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Fzc2VydGlvbi9wcm9wZXJ0eVwiO1xuaW1wb3J0IFN1YnByb29mQXNzZXJ0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Fzc2VydGlvbi9zdWJwcm9vZlwiO1xuaW1wb3J0IEZyYW1lU3Vic3RpdHV0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL3N1YnN0aXR1dGlvbi9mcmFtZVwiO1xuaW1wb3J0IFBhcmVudGhlc2lzZWRMYWJlbE5vZGUgZnJvbSBcIi4vbm9kZS9wYXJlbnRoZXNpc2VkTGFiZWxcIjtcbmltcG9ydCBQcm9jZWR1cmVSZWZlcmVuY2VOb2RlIGZyb20gXCIuL25vZGUvcHJvY2VkdXJlUmVmZXJlbmNlXCI7XG5pbXBvcnQgQ29udGFpbmVkQXNzZXJ0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Fzc2VydGlvbi9jb250YWluZWRcIjtcbmltcG9ydCBTaWduYXR1cmVBc3NlcnRpb25Ob2RlIGZyb20gXCIuL25vZGUvYXNzZXJ0aW9uL3NpZ25hdHVyZVwiO1xuaW1wb3J0IFBhcmVudGhlc2lzZWRMYWJlbHNOb2RlIGZyb20gXCIuL25vZGUvcGFyZW50aGVzaXNlZExhYmVsc1wiXG5pbXBvcnQgUHJvcGVydHlEZWNsYXJhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9kZWNsYXJhdGlvbi9wcm9wZXJ0eVwiO1xuaW1wb3J0IFZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vdmFyaWFibGVcIjtcbmltcG9ydCBNZXRhTGV2ZWxBc3N1bXB0aW9ucE5vZGUgZnJvbSBcIi4vbm9kZS9hc3N1bXB0aW9uL21ldGFMZXZlbFwiO1xuaW1wb3J0IFNpbXBsZVR5cGVEZWNsYXJhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9kZWNsYXJhdGlvbi9zaW1wbGVUeXBlXCI7XG5pbXBvcnQgQ29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlY2xhcmF0aW9uL2NvbWJpbmF0b3JcIjtcbmltcG9ydCBSZWZlcmVuY2VTdWJzdGl0dXRpb25Ob2RlIGZyb20gXCIuL25vZGUvc3Vic3RpdHV0aW9uL3JlZmVyZW5jZVwiO1xuaW1wb3J0IFN0YXRlbWVudFN1YnN0aXR1dGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9zdWJzdGl0dXRpb24vc3RhdGVtZW50XCI7XG5pbXBvcnQgVHlwZVByZWZpeERlY2xhcmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlY2xhcmF0aW9uL3R5cGVQcmVmaXhcIjtcbmltcG9ydCBDb21wbGV4VHlwZURlY2xhcmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlY2xhcmF0aW9uL2NvbXBsZXhUeXBlXCI7XG5pbXBvcnQgRG9uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9kZWNsYXJhdGlvbi9jb25zdHJ1Y3RvclwiO1xuaW1wb3J0IE1ldGF2YXJpYWJsZURlY2xhcmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlY2xhcmF0aW9uL21ldGF2YXJpYWJsZVwiO1xuXG5pbXBvcnQge1xuICBSVUxFX1JVTEVfTkFNRSxcbiAgU1RFUF9SVUxFX05BTUUsXG4gIFRFUk1fUlVMRV9OQU1FLFxuICBUWVBFX1JVTEVfTkFNRSxcbiAgVFlQRVNfUlVMRV9OQU1FLFxuICBQUk9PRl9SVUxFX05BTUUsXG4gIEVSUk9SX1JVTEVfTkFNRSxcbiAgRlJBTUVfUlVMRV9OQU1FLFxuICBBWElPTV9SVUxFX05BTUUsXG4gIExFTU1BX1JVTEVfTkFNRSxcbiAgTEFCRUxfUlVMRV9OQU1FLFxuICBMQUJFTFNfUlVMRV9OQU1FLFxuICBUSEVPUkVNX1JVTEVfTkFNRSxcbiAgUFJFTUlTRV9SVUxFX05BTUUsXG4gIFNFQ1RJT05fUlVMRV9OQU1FLFxuICBBUkdVTUVOVF9SVUxFX05BTUUsXG4gIFNVQlBST09GX1JVTEVfTkFNRSxcbiAgUFJPUEVSVFlfUlVMRV9OQU1FLFxuICBFUVVBTElUWV9SVUxFX05BTUUsXG4gIFZBUklBQkxFX1JVTEVfTkFNRSxcbiAgRE9DVU1FTlRfUlVMRV9OQU1FLFxuICBNRVRBX1RZUEVfUlVMRV9OQU1FLFxuICBTSUdOQVRVUkVfUlVMRV9OQU1FLFxuICBERURVQ1RJT05fUlVMRV9OQU1FLFxuICBKVURHRU1FTlRfUlVMRV9OQU1FLFxuICBQQVJBTUVURVJfUlVMRV9OQU1FLFxuICBSRUZFUkVOQ0VfUlVMRV9OQU1FLFxuICBTVEFURU1FTlRfUlVMRV9OQU1FLFxuICBSVUxFX0JPRFlfUlVMRV9OQU1FLFxuICBNRVRBX0xFTU1BX1JVTEVfTkFNRSxcbiAgREVSSVZBVElPTl9SVUxFX05BTUUsXG4gIENPTUJJTkFUT1JfUlVMRV9OQU1FLFxuICBDT05DTFVTSU9OX1JVTEVfTkFNRSxcbiAgQ09OSkVDVFVSRV9SVUxFX05BTUUsXG4gIEhZUE9USEVTSVNfUlVMRV9OQU1FLFxuICBBWElPTV9CT0RZX1JVTEVfTkFNRSxcbiAgTEVNTUFfQk9EWV9SVUxFX05BTUUsXG4gIEFTU1VNUFRJT05fUlVMRV9OQU1FLFxuICBQTEFDRUhPTERFUl9SVUxFX05BTUUsXG4gIFRZUEVfUFJFRklYX1JVTEVfTkFNRSxcbiAgU1VQUE9TSVRJT05fUlVMRV9OQU1FLFxuICBSVUxFX0hFQURFUl9SVUxFX05BTUUsXG4gIENPTlNUUlVDVE9SX1JVTEVfTkFNRSxcbiAgTUVUQVRIRU9SRU1fUlVMRV9OQU1FLFxuICBFUVVJVkFMRU5DRV9SVUxFX05BTUUsXG4gIEVRVUlWQUxFTkNFU19SVUxFX05BTUUsXG4gIEFYSU9NX0hFQURFUl9SVUxFX05BTUUsXG4gIExFTU1BX0hFQURFUl9SVUxFX05BTUUsXG4gIFRIRU9SRU1fQk9EWV9SVUxFX05BTUUsXG4gIE1FVEFWQVJJQUJMRV9SVUxFX05BTUUsXG4gIFFVQUxJRklDQVRJT05fUlVMRV9OQU1FLFxuICBNRVRBX0FSR1VNRU5UX1JVTEVfTkFNRSxcbiAgVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FLFxuICBTVUJfREVSSVZBVElPTl9SVUxFX05BTUUsXG4gIFRZUEVfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgUFJPQ0VEVVJFX0NBTExfUlVMRV9OQU1FLFxuICBDT05KRUNUVVJFX0JPRFlfUlVMRV9OQU1FLFxuICBNRVRBX0xFTU1BX0JPRFlfUlVMRV9OQU1FLFxuICBNRVRBVEhFT1JFTV9CT0RZX1JVTEVfTkFNRSxcbiAgQ09OSkVDVFVSRV9IRUFERVJfUlVMRV9OQU1FLFxuICBNRVRBX0xFTU1BX0hFQURFUl9SVUxFX05BTUUsXG4gIFBST1BFUlRZX1JFTEFUSU9OX1JVTEVfTkFNRSxcbiAgREVGSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICBURVJNX1NVQlNUSVRVVElPTl9SVUxFX05BTUUsXG4gIE1FVEFUSEVPUkVNX0hFQURFUl9SVUxFX05BTUUsXG4gIFNVQlBST09GX0FTU0VSVElPTl9SVUxFX05BTUUsXG4gIFBST1BFUlRZX0FTU0VSVElPTl9SVUxFX05BTUUsXG4gIEZSQU1FX1NVQlNUSVRVVElPTl9SVUxFX05BTUUsXG4gIFBST0NFRFVSRV9SRUZFUkVOQ0VfUlVMRV9OQU1FLFxuICBDT05UQUlORURfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgU0lHTkFUVVJFX0FTU0VSVElPTl9SVUxFX05BTUUsXG4gIFBBUkVOVEhFU0lTRURfTEFCRUxfUlVMRV9OQU1FLFxuICBQQVJFTlRIRVNJU0VEX0xBQkVMU19SVUxFX05BTUUsXG4gIFBST1BFUlRZX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSxcbiAgVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICBNRVRBX0xFVkVMX0FTU1VNUFRJT05fUlVMRV9OQU1FLFxuICBDT01CSU5BVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSxcbiAgUkVGRVJFTkNFX1NVQlNUSVRVVElPTl9SVUxFX05BTUUsXG4gIFNUQVRFTUVOVF9TVUJTVElUVVRJT05fUlVMRV9OQU1FLFxuICBTSU1QTEVfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gIENPTlNUUlVDVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSxcbiAgVFlQRV9QUkVGSVhfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICBDT01QTEVYX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICBNRVRBVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIH0gZnJvbSBcIi4vcnVsZU5hbWVzXCI7XG5cbmNvbnN0IE5vblRlcm1pbmFsTm9kZU1hcCA9IHtcbiAgW1JVTEVfUlVMRV9OQU1FXTogUnVsZU5vZGUsXG4gIFtTVEVQX1JVTEVfTkFNRV06IFN0ZXBOb2RlLFxuICBbVEVSTV9SVUxFX05BTUVdOiBUZXJtTm9kZSxcbiAgW1RZUEVfUlVMRV9OQU1FXTogVHlwZU5vZGUsXG4gIFtUWVBFU19SVUxFX05BTUVdOiBUeXBlc05vZGUsXG4gIFtFUlJPUl9SVUxFX05BTUVdOiBFcnJvck5vZGUsXG4gIFtGUkFNRV9SVUxFX05BTUVdOiBGcmFtZU5vZGUsXG4gIFtMRU1NQV9SVUxFX05BTUVdOiBMZW1tYU5vZGUsXG4gIFtBWElPTV9SVUxFX05BTUVdOiBBeGlvbU5vZGUsXG4gIFtQUk9PRl9SVUxFX05BTUVdOiBQcm9vZk5vZGUsXG4gIFtMQUJFTF9SVUxFX05BTUVdOiBMYWJlbE5vZGUsXG4gIFtMQUJFTFNfUlVMRV9OQU1FXTogTGFiZWxzTm9kZSxcbiAgW1RIRU9SRU1fUlVMRV9OQU1FXTogVGhlb3JlbU5vZGUsXG4gIFtQUkVNSVNFX1JVTEVfTkFNRV06IFByZW1pc2VOb2RlLFxuICBbU0VDVElPTl9SVUxFX05BTUVdOiBTZWN0aW9uTm9kZSxcbiAgW0FSR1VNRU5UX1JVTEVfTkFNRV06IEFyZ3VtZW50Tm9kZSxcbiAgW1BST1BFUlRZX1JVTEVfTkFNRV06IFByb3BlcnR5Tm9kZSxcbiAgW1NVQlBST09GX1JVTEVfTkFNRV06IFN1YnByb29mTm9kZSxcbiAgW0VRVUFMSVRZX1JVTEVfTkFNRV06IEVxdWFsaXR5Tm9kZSxcbiAgW1ZBUklBQkxFX1JVTEVfTkFNRV06IFZhcmlhYmxlTm9kZSxcbiAgW0RPQ1VNRU5UX1JVTEVfTkFNRV06IERvY3VtZW50Tm9kZSxcbiAgW1JVTEVfQk9EWV9SVUxFX05BTUVdOiBSdWxlQm9keU5vZGUsXG4gIFtNRVRBX1RZUEVfUlVMRV9OQU1FXTogTWV0YVR5cGVOb2RlLFxuICBbU0lHTkFUVVJFX1JVTEVfTkFNRV06IFNpZ25hdHVyZU5vZGUsXG4gIFtSRUZFUkVOQ0VfUlVMRV9OQU1FXTogUmVmZXJlbmNlTm9kZSxcbiAgW0pVREdFTUVOVF9SVUxFX05BTUVdOiBKdWRnZW1lbnROb2RlLFxuICBbREVEVUNUSU9OX1JVTEVfTkFNRV06IERlZHVjdGlvbk5vZGUsXG4gIFtQQVJBTUVURVJfUlVMRV9OQU1FXTogUGFyYW1ldGVyTm9kZSxcbiAgW1NUQVRFTUVOVF9SVUxFX05BTUVdOiBTdGF0ZW1lbnROb2RlLFxuICBbQVhJT01fQk9EWV9SVUxFX05BTUVdOiBBeGlvbUJvZHlOb2RlLFxuICBbTEVNTUFfQk9EWV9SVUxFX05BTUVdOiBMZW1tYUJvZHlOb2RlLFxuICBbTUVUQV9MRU1NQV9SVUxFX05BTUVdOiBNZXRhTGVtbWFOb2RlLFxuICBbQ09NQklOQVRPUl9SVUxFX05BTUVdOiBDb21iaW5hdG9yTm9kZSxcbiAgW0NPTkNMVVNJT05fUlVMRV9OQU1FXTogQ29uY2x1c2lvbk5vZGUsXG4gIFtDT05KRUNUVVJFX1JVTEVfTkFNRV06IENvbmplY3R1cmVOb2RlLFxuICBbREVSSVZBVElPTl9SVUxFX05BTUVdOiBEZXJpdmF0aW9uTm9kZSxcbiAgW0hZUE9USEVTSVNfUlVMRV9OQU1FXTogSHlwb3RoZXNpc05vZGUsXG4gIFtBU1NVTVBUSU9OX1JVTEVfTkFNRV06IEFzc3VtcHRpb25Ob2RlLFxuICBbUlVMRV9IRUFERVJfUlVMRV9OQU1FXTogUnVsZUhlYWRlck5vZGUsXG4gIFtUWVBFX1BSRUZJWF9SVUxFX05BTUVdOiBUeXBlUHJlZml4Tm9kZSxcbiAgW1BMQUNFSE9MREVSX1JVTEVfTkFNRV06IFBsYWNlaG9sZGVyTm9kZSxcbiAgW1NVUFBPU0lUSU9OX1JVTEVfTkFNRV06IFN1cHBvc2l0aW9uTm9kZSxcbiAgW0NPTlNUUlVDVE9SX1JVTEVfTkFNRV06IENvbnN0cnVjdG9yTm9kZSxcbiAgW01FVEFUSEVPUkVNX1JVTEVfTkFNRV06IE1ldGF0aGVvcmVtTm9kZSxcbiAgW0VRVUlWQUxFTkNFX1JVTEVfTkFNRV06IEVxdWl2YWxlbmNlTm9kZSxcbiAgW0FYSU9NX0hFQURFUl9SVUxFX05BTUVdOiBBeGlvbUhlYWRlck5vZGUsXG4gIFtMRU1NQV9IRUFERVJfUlVMRV9OQU1FXTogTGVtbWFIZWFkZXJOb2RlLFxuICBbVEhFT1JFTV9CT0RZX1JVTEVfTkFNRV06IFRoZW9yZW1Cb2R5Tm9kZSxcbiAgW01FVEFWQVJJQUJMRV9SVUxFX05BTUVdOiBNZXRhdmFyaWFibGVOb2RlLFxuICBbRVFVSVZBTEVOQ0VTX1JVTEVfTkFNRV06IEVxdWl2YWxlbmNlc05vZGUsXG4gIFtNRVRBX0FSR1VNRU5UX1JVTEVfTkFNRV06IE1ldGFBcmd1bWVudE5vZGUsXG4gIFtRVUFMSUZJQ0FUSU9OX1JVTEVfTkFNRV06IFF1YWxpZmljYXRpb25Ob2RlLFxuICBbVFlQRV9BU1NFUlRJT05fUlVMRV9OQU1FXTogVHlwZUFzc2VydGlvbk5vZGUsXG4gIFtQUk9DRURVUkVfQ0FMTF9SVUxFX05BTUVdOiBQcm9jZWR1cmVDYWxsTm9kZSxcbiAgW1NVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRV06IFN1YkRlcml2YXRpb25Ob2RlLFxuICBbVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FXTogVGhlb3JlbUhlYWRlck5vZGUsXG4gIFtNRVRBX0xFTU1BX0JPRFlfUlVMRV9OQU1FXTogTWV0YUxlbW1hQm9keU5vZGUsXG4gIFtDT05KRUNUVVJFX0JPRFlfUlVMRV9OQU1FXTogQ29uamVjdHVyZUJvZHlOb2RlLFxuICBbTUVUQVRIRU9SRU1fQk9EWV9SVUxFX05BTUVdOiBNZXRhdGhlb3JlbUJvZHlOb2RlLFxuICBbTUVUQV9MRU1NQV9IRUFERVJfUlVMRV9OQU1FXTogTWV0YUxlbW1hSGVhZGVyTm9kZSxcbiAgW0NPTkpFQ1RVUkVfSEVBREVSX1JVTEVfTkFNRV06IENvbmplY3R1cmVIZWFkZXJOb2RlLFxuICBbUFJPUEVSVFlfUkVMQVRJT05fUlVMRV9OQU1FXTogUHJvcGVydHlSZWxhdGlvbk5vZGUsXG4gIFtERUZJTkVEX0FTU0VSVElPTl9SVUxFX05BTUVdOiBEZWZpbmVkQXNzZXJ0aW9uTm9kZSxcbiAgW1RFUk1fU1VCU1RJVFVUSU9OX1JVTEVfTkFNRV06IFRlcm1TdWJzdGl0dXRpb25Ob2RlLFxuICBbTUVUQVRIRU9SRU1fSEVBREVSX1JVTEVfTkFNRV06IE1ldGF0aGVvcmVtSGVhZGVyTm9kZSxcbiAgW1NVQlBST09GX0FTU0VSVElPTl9SVUxFX05BTUVdOiBTdWJwcm9vZkFzc2VydGlvbk5vZGUsXG4gIFtQUk9QRVJUWV9BU1NFUlRJT05fUlVMRV9OQU1FXTogUHJvcGVydHlBc3NlcnRpb25Ob2RlLFxuICBbRlJBTUVfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRV06IEZyYW1lU3Vic3RpdHV0aW9uTm9kZSxcbiAgW1BST0NFRFVSRV9SRUZFUkVOQ0VfUlVMRV9OQU1FXTogUHJvY2VkdXJlUmVmZXJlbmNlTm9kZSxcbiAgW1BBUkVOVEhFU0lTRURfTEFCRUxfUlVMRV9OQU1FXTogUGFyZW50aGVzaXNlZExhYmVsTm9kZSxcbiAgW1NJR05BVFVSRV9BU1NFUlRJT05fUlVMRV9OQU1FXTogU2lnbmF0dXJlQXNzZXJ0aW9uTm9kZSxcbiAgW0NPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FXTogQ29udGFpbmVkQXNzZXJ0aW9uTm9kZSxcbiAgW1BBUkVOVEhFU0lTRURfTEFCRUxTX1JVTEVfTkFNRV06IFBhcmVudGhlc2lzZWRMYWJlbHNOb2RlLFxuICBbVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FXTogVmFyaWFibGVEZWNsYXJhdGlvbk5vZGUsXG4gIFtQUk9QRVJUWV9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiBQcm9wZXJ0eURlY2xhcmF0aW9uTm9kZSxcbiAgW01FVEFfTEVWRUxfQVNTVU1QVElPTl9SVUxFX05BTUVdOiBNZXRhTGV2ZWxBc3N1bXB0aW9ucE5vZGUsXG4gIFtDT01CSU5BVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRV06IENvbWJpbmF0b3JEZWNsYXJhdGlvbk5vZGUsXG4gIFtTVEFURU1FTlRfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRV06IFN0YXRlbWVudFN1YnN0aXR1dGlvbk5vZGUsXG4gIFtSRUZFUkVOQ0VfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRV06IFJlZmVyZW5jZVN1YnN0aXR1dGlvbk5vZGUsXG4gIFtTSU1QTEVfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiBTaW1wbGVUeXBlRGVjbGFyYXRpb25Ob2RlLFxuICBbVFlQRV9QUkVGSVhfREVDTEFSQVRJT05fUlVMRV9OQU1FXTogVHlwZVByZWZpeERlY2xhcmF0aW9uTm9kZSxcbiAgW0NPTlNUUlVDVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRV06IERvbnN0cnVjdG9yRGVjbGFyYXRpb25Ob2RlLFxuICBbQ09NUExFWF9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRV06IENvbXBsZXhUeXBlRGVjbGFyYXRpb25Ob2RlLFxuICBbTUVUQVZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRV06IE1ldGF2YXJpYWJsZURlY2xhcmF0aW9uTm9kZVxufTtcblxuZXhwb3J0IGRlZmF1bHQgTm9uVGVybWluYWxOb2RlTWFwO1xuIl0sIm5hbWVzIjpbIk5vblRlcm1pbmFsTm9kZU1hcCIsIlJVTEVfUlVMRV9OQU1FIiwiUnVsZU5vZGUiLCJTVEVQX1JVTEVfTkFNRSIsIlN0ZXBOb2RlIiwiVEVSTV9SVUxFX05BTUUiLCJUZXJtTm9kZSIsIlRZUEVfUlVMRV9OQU1FIiwiVHlwZU5vZGUiLCJUWVBFU19SVUxFX05BTUUiLCJUeXBlc05vZGUiLCJFUlJPUl9SVUxFX05BTUUiLCJFcnJvck5vZGUiLCJGUkFNRV9SVUxFX05BTUUiLCJGcmFtZU5vZGUiLCJMRU1NQV9SVUxFX05BTUUiLCJMZW1tYU5vZGUiLCJBWElPTV9SVUxFX05BTUUiLCJBeGlvbU5vZGUiLCJQUk9PRl9SVUxFX05BTUUiLCJQcm9vZk5vZGUiLCJMQUJFTF9SVUxFX05BTUUiLCJMYWJlbE5vZGUiLCJMQUJFTFNfUlVMRV9OQU1FIiwiTGFiZWxzTm9kZSIsIlRIRU9SRU1fUlVMRV9OQU1FIiwiVGhlb3JlbU5vZGUiLCJQUkVNSVNFX1JVTEVfTkFNRSIsIlByZW1pc2VOb2RlIiwiU0VDVElPTl9SVUxFX05BTUUiLCJTZWN0aW9uTm9kZSIsIkFSR1VNRU5UX1JVTEVfTkFNRSIsIkFyZ3VtZW50Tm9kZSIsIlBST1BFUlRZX1JVTEVfTkFNRSIsIlByb3BlcnR5Tm9kZSIsIlNVQlBST09GX1JVTEVfTkFNRSIsIlN1YnByb29mTm9kZSIsIkVRVUFMSVRZX1JVTEVfTkFNRSIsIkVxdWFsaXR5Tm9kZSIsIlZBUklBQkxFX1JVTEVfTkFNRSIsIlZhcmlhYmxlTm9kZSIsIkRPQ1VNRU5UX1JVTEVfTkFNRSIsIkRvY3VtZW50Tm9kZSIsIlJVTEVfQk9EWV9SVUxFX05BTUUiLCJSdWxlQm9keU5vZGUiLCJNRVRBX1RZUEVfUlVMRV9OQU1FIiwiTWV0YVR5cGVOb2RlIiwiU0lHTkFUVVJFX1JVTEVfTkFNRSIsIlNpZ25hdHVyZU5vZGUiLCJSRUZFUkVOQ0VfUlVMRV9OQU1FIiwiUmVmZXJlbmNlTm9kZSIsIkpVREdFTUVOVF9SVUxFX05BTUUiLCJKdWRnZW1lbnROb2RlIiwiREVEVUNUSU9OX1JVTEVfTkFNRSIsIkRlZHVjdGlvbk5vZGUiLCJQQVJBTUVURVJfUlVMRV9OQU1FIiwiUGFyYW1ldGVyTm9kZSIsIlNUQVRFTUVOVF9SVUxFX05BTUUiLCJTdGF0ZW1lbnROb2RlIiwiQVhJT01fQk9EWV9SVUxFX05BTUUiLCJBeGlvbUJvZHlOb2RlIiwiTEVNTUFfQk9EWV9SVUxFX05BTUUiLCJMZW1tYUJvZHlOb2RlIiwiTUVUQV9MRU1NQV9SVUxFX05BTUUiLCJNZXRhTGVtbWFOb2RlIiwiQ09NQklOQVRPUl9SVUxFX05BTUUiLCJDb21iaW5hdG9yTm9kZSIsIkNPTkNMVVNJT05fUlVMRV9OQU1FIiwiQ29uY2x1c2lvbk5vZGUiLCJDT05KRUNUVVJFX1JVTEVfTkFNRSIsIkNvbmplY3R1cmVOb2RlIiwiREVSSVZBVElPTl9SVUxFX05BTUUiLCJEZXJpdmF0aW9uTm9kZSIsIkhZUE9USEVTSVNfUlVMRV9OQU1FIiwiSHlwb3RoZXNpc05vZGUiLCJBU1NVTVBUSU9OX1JVTEVfTkFNRSIsIkFzc3VtcHRpb25Ob2RlIiwiUlVMRV9IRUFERVJfUlVMRV9OQU1FIiwiUnVsZUhlYWRlck5vZGUiLCJUWVBFX1BSRUZJWF9SVUxFX05BTUUiLCJUeXBlUHJlZml4Tm9kZSIsIlBMQUNFSE9MREVSX1JVTEVfTkFNRSIsIlBsYWNlaG9sZGVyTm9kZSIsIlNVUFBPU0lUSU9OX1JVTEVfTkFNRSIsIlN1cHBvc2l0aW9uTm9kZSIsIkNPTlNUUlVDVE9SX1JVTEVfTkFNRSIsIkNvbnN0cnVjdG9yTm9kZSIsIk1FVEFUSEVPUkVNX1JVTEVfTkFNRSIsIk1ldGF0aGVvcmVtTm9kZSIsIkVRVUlWQUxFTkNFX1JVTEVfTkFNRSIsIkVxdWl2YWxlbmNlTm9kZSIsIkFYSU9NX0hFQURFUl9SVUxFX05BTUUiLCJBeGlvbUhlYWRlck5vZGUiLCJMRU1NQV9IRUFERVJfUlVMRV9OQU1FIiwiTGVtbWFIZWFkZXJOb2RlIiwiVEhFT1JFTV9CT0RZX1JVTEVfTkFNRSIsIlRoZW9yZW1Cb2R5Tm9kZSIsIk1FVEFWQVJJQUJMRV9SVUxFX05BTUUiLCJNZXRhdmFyaWFibGVOb2RlIiwiRVFVSVZBTEVOQ0VTX1JVTEVfTkFNRSIsIkVxdWl2YWxlbmNlc05vZGUiLCJNRVRBX0FSR1VNRU5UX1JVTEVfTkFNRSIsIk1ldGFBcmd1bWVudE5vZGUiLCJRVUFMSUZJQ0FUSU9OX1JVTEVfTkFNRSIsIlF1YWxpZmljYXRpb25Ob2RlIiwiVFlQRV9BU1NFUlRJT05fUlVMRV9OQU1FIiwiVHlwZUFzc2VydGlvbk5vZGUiLCJQUk9DRURVUkVfQ0FMTF9SVUxFX05BTUUiLCJQcm9jZWR1cmVDYWxsTm9kZSIsIlNVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRSIsIlN1YkRlcml2YXRpb25Ob2RlIiwiVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FIiwiVGhlb3JlbUhlYWRlck5vZGUiLCJNRVRBX0xFTU1BX0JPRFlfUlVMRV9OQU1FIiwiTWV0YUxlbW1hQm9keU5vZGUiLCJDT05KRUNUVVJFX0JPRFlfUlVMRV9OQU1FIiwiQ29uamVjdHVyZUJvZHlOb2RlIiwiTUVUQVRIRU9SRU1fQk9EWV9SVUxFX05BTUUiLCJNZXRhdGhlb3JlbUJvZHlOb2RlIiwiTUVUQV9MRU1NQV9IRUFERVJfUlVMRV9OQU1FIiwiTWV0YUxlbW1hSGVhZGVyTm9kZSIsIkNPTkpFQ1RVUkVfSEVBREVSX1JVTEVfTkFNRSIsIkNvbmplY3R1cmVIZWFkZXJOb2RlIiwiUFJPUEVSVFlfUkVMQVRJT05fUlVMRV9OQU1FIiwiUHJvcGVydHlSZWxhdGlvbk5vZGUiLCJERUZJTkVEX0FTU0VSVElPTl9SVUxFX05BTUUiLCJEZWZpbmVkQXNzZXJ0aW9uTm9kZSIsIlRFUk1fU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIlRlcm1TdWJzdGl0dXRpb25Ob2RlIiwiTUVUQVRIRU9SRU1fSEVBREVSX1JVTEVfTkFNRSIsIk1ldGF0aGVvcmVtSGVhZGVyTm9kZSIsIlNVQlBST09GX0FTU0VSVElPTl9SVUxFX05BTUUiLCJTdWJwcm9vZkFzc2VydGlvbk5vZGUiLCJQUk9QRVJUWV9BU1NFUlRJT05fUlVMRV9OQU1FIiwiUHJvcGVydHlBc3NlcnRpb25Ob2RlIiwiRlJBTUVfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIkZyYW1lU3Vic3RpdHV0aW9uTm9kZSIsIlBST0NFRFVSRV9SRUZFUkVOQ0VfUlVMRV9OQU1FIiwiUHJvY2VkdXJlUmVmZXJlbmNlTm9kZSIsIlBBUkVOVEhFU0lTRURfTEFCRUxfUlVMRV9OQU1FIiwiUGFyZW50aGVzaXNlZExhYmVsTm9kZSIsIlNJR05BVFVSRV9BU1NFUlRJT05fUlVMRV9OQU1FIiwiU2lnbmF0dXJlQXNzZXJ0aW9uTm9kZSIsIkNPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FIiwiQ29udGFpbmVkQXNzZXJ0aW9uTm9kZSIsIlBBUkVOVEhFU0lTRURfTEFCRUxTX1JVTEVfTkFNRSIsIlBhcmVudGhlc2lzZWRMYWJlbHNOb2RlIiwiVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiVmFyaWFibGVEZWNsYXJhdGlvbk5vZGUiLCJQUk9QRVJUWV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJQcm9wZXJ0eURlY2xhcmF0aW9uTm9kZSIsIk1FVEFfTEVWRUxfQVNTVU1QVElPTl9SVUxFX05BTUUiLCJNZXRhTGV2ZWxBc3N1bXB0aW9ucE5vZGUiLCJDT01CSU5BVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIkNvbWJpbmF0b3JEZWNsYXJhdGlvbk5vZGUiLCJTVEFURU1FTlRfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIlN0YXRlbWVudFN1YnN0aXR1dGlvbk5vZGUiLCJSRUZFUkVOQ0VfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIlJlZmVyZW5jZVN1YnN0aXR1dGlvbk5vZGUiLCJTSU1QTEVfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJTaW1wbGVUeXBlRGVjbGFyYXRpb25Ob2RlIiwiVFlQRV9QUkVGSVhfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiVHlwZVByZWZpeERlY2xhcmF0aW9uTm9kZSIsIkNPTlNUUlVDVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIkRvbnN0cnVjdG9yRGVjbGFyYXRpb25Ob2RlIiwiQ09NUExFWF9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIkNvbXBsZXhUeXBlRGVjbGFyYXRpb25Ob2RlIiwiTUVUQVZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIk1ldGF2YXJpYWJsZURlY2xhcmF0aW9uTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBb1FBOzs7ZUFBQTs7OzZEQWxRcUI7NkRBQ0E7NkRBQ0E7NkRBQ0E7OERBQ0M7OERBQ0E7OERBQ0E7OERBQ0E7OERBQ0E7OERBQ0E7OERBQ0E7K0RBQ0M7Z0VBQ0M7Z0VBQ0E7Z0VBQ0E7aUVBQ0M7aUVBQ0E7aUVBQ0E7aUVBQ0E7aUVBQ0E7aUVBQ0E7aUVBQ0E7OERBQ0E7a0VBQ0M7a0VBQ0E7a0VBQ0E7a0VBQ0E7a0VBQ0E7a0VBQ0E7a0VBQ0E7K0RBQ0E7K0RBQ0E7bUVBQ0M7bUVBQ0E7bUVBQ0E7bUVBQ0E7bUVBQ0E7bUVBQ0E7bUVBQ0E7OERBQ0E7b0VBQ0M7b0VBQ0E7b0VBQ0E7b0VBQ0E7b0VBQ0E7aUVBQ0E7K0RBQ0E7K0RBQ0E7cUVBQ0M7cUVBQ0E7cUVBQ0E7c0VBQ0M7c0VBQ0E7c0VBQ0E7aUVBQ0E7bUVBQ0E7OERBQ0E7b0VBQ0M7cUVBQ0M7bUVBQ0E7eUVBQ0M7Z0VBQ0E7OERBQ0E7b0VBQ0E7cUVBQ0M7a0VBQ0E7a0VBQ0E7K0RBQ0E7MkVBQ0M7MkVBQ0E7a0VBQ0E7bUVBQ0E7NEVBQ0M7a0VBQ0E7a0VBQ0E7a0VBQ0M7bUVBQ0M7b0VBQ0E7bUVBQ0E7bUVBQ0E7b0VBQ0E7b0VBQ0M7cUVBQ0E7c0VBQ0M7MkJBc0ZJOzs7Ozs7QUFFNUMsTUFBTUEscUJBQXFCO0lBQ3pCLENBQUNDLHlCQUFjLENBQUMsRUFBRUMsYUFBUTtJQUMxQixDQUFDQyx5QkFBYyxDQUFDLEVBQUVDLGFBQVE7SUFDMUIsQ0FBQ0MseUJBQWMsQ0FBQyxFQUFFQyxhQUFRO0lBQzFCLENBQUNDLHlCQUFjLENBQUMsRUFBRUMsYUFBUTtJQUMxQixDQUFDQywwQkFBZSxDQUFDLEVBQUVDLGNBQVM7SUFDNUIsQ0FBQ0MsMEJBQWUsQ0FBQyxFQUFFQyxjQUFTO0lBQzVCLENBQUNDLDBCQUFlLENBQUMsRUFBRUMsY0FBUztJQUM1QixDQUFDQywwQkFBZSxDQUFDLEVBQUVDLGNBQVM7SUFDNUIsQ0FBQ0MsMEJBQWUsQ0FBQyxFQUFFQyxjQUFTO0lBQzVCLENBQUNDLDBCQUFlLENBQUMsRUFBRUMsY0FBUztJQUM1QixDQUFDQywwQkFBZSxDQUFDLEVBQUVDLGNBQVM7SUFDNUIsQ0FBQ0MsMkJBQWdCLENBQUMsRUFBRUMsZUFBVTtJQUM5QixDQUFDQyw0QkFBaUIsQ0FBQyxFQUFFQyxnQkFBVztJQUNoQyxDQUFDQyw0QkFBaUIsQ0FBQyxFQUFFQyxnQkFBVztJQUNoQyxDQUFDQyw0QkFBaUIsQ0FBQyxFQUFFQyxnQkFBVztJQUNoQyxDQUFDQyw2QkFBa0IsQ0FBQyxFQUFFQyxpQkFBWTtJQUNsQyxDQUFDQyw2QkFBa0IsQ0FBQyxFQUFFQyxpQkFBWTtJQUNsQyxDQUFDQyw2QkFBa0IsQ0FBQyxFQUFFQyxpQkFBWTtJQUNsQyxDQUFDQyw2QkFBa0IsQ0FBQyxFQUFFQyxpQkFBWTtJQUNsQyxDQUFDQyw2QkFBa0IsQ0FBQyxFQUFFQyxpQkFBWTtJQUNsQyxDQUFDQyw2QkFBa0IsQ0FBQyxFQUFFQyxpQkFBWTtJQUNsQyxDQUFDQyw4QkFBbUIsQ0FBQyxFQUFFQyxjQUFZO0lBQ25DLENBQUNDLDhCQUFtQixDQUFDLEVBQUVDLGlCQUFZO0lBQ25DLENBQUNDLDhCQUFtQixDQUFDLEVBQUVDLGtCQUFhO0lBQ3BDLENBQUNDLDhCQUFtQixDQUFDLEVBQUVDLGtCQUFhO0lBQ3BDLENBQUNDLDhCQUFtQixDQUFDLEVBQUVDLGtCQUFhO0lBQ3BDLENBQUNDLDhCQUFtQixDQUFDLEVBQUVDLGtCQUFhO0lBQ3BDLENBQUNDLDhCQUFtQixDQUFDLEVBQUVDLGtCQUFhO0lBQ3BDLENBQUNDLDhCQUFtQixDQUFDLEVBQUVDLGtCQUFhO0lBQ3BDLENBQUNDLCtCQUFvQixDQUFDLEVBQUVDLGVBQWE7SUFDckMsQ0FBQ0MsK0JBQW9CLENBQUMsRUFBRUMsZUFBYTtJQUNyQyxDQUFDQywrQkFBb0IsQ0FBQyxFQUFFQyxrQkFBYTtJQUNyQyxDQUFDQywrQkFBb0IsQ0FBQyxFQUFFQyxtQkFBYztJQUN0QyxDQUFDQywrQkFBb0IsQ0FBQyxFQUFFQyxtQkFBYztJQUN0QyxDQUFDQywrQkFBb0IsQ0FBQyxFQUFFQyxtQkFBYztJQUN0QyxDQUFDQywrQkFBb0IsQ0FBQyxFQUFFQyxtQkFBYztJQUN0QyxDQUFDQywrQkFBb0IsQ0FBQyxFQUFFQyxtQkFBYztJQUN0QyxDQUFDQywrQkFBb0IsQ0FBQyxFQUFFQyxtQkFBYztJQUN0QyxDQUFDQyxnQ0FBcUIsQ0FBQyxFQUFFQyxjQUFjO0lBQ3ZDLENBQUNDLGdDQUFxQixDQUFDLEVBQUVDLG1CQUFjO0lBQ3ZDLENBQUNDLGdDQUFxQixDQUFDLEVBQUVDLG9CQUFlO0lBQ3hDLENBQUNDLGdDQUFxQixDQUFDLEVBQUVDLG9CQUFlO0lBQ3hDLENBQUNDLGdDQUFxQixDQUFDLEVBQUVDLG9CQUFlO0lBQ3hDLENBQUNDLGdDQUFxQixDQUFDLEVBQUVDLG9CQUFlO0lBQ3hDLENBQUNDLGdDQUFxQixDQUFDLEVBQUVDLG9CQUFlO0lBQ3hDLENBQUNDLGlDQUFzQixDQUFDLEVBQUVDLGVBQWU7SUFDekMsQ0FBQ0MsaUNBQXNCLENBQUMsRUFBRUMsZUFBZTtJQUN6QyxDQUFDQyxpQ0FBc0IsQ0FBQyxFQUFFQyxpQkFBZTtJQUN6QyxDQUFDQyxpQ0FBc0IsQ0FBQyxFQUFFQyxxQkFBZ0I7SUFDMUMsQ0FBQ0MsaUNBQXNCLENBQUMsRUFBRUMscUJBQWdCO0lBQzFDLENBQUNDLGtDQUF1QixDQUFDLEVBQUVDLHFCQUFnQjtJQUMzQyxDQUFDQyxrQ0FBdUIsQ0FBQyxFQUFFQyxzQkFBaUI7SUFDNUMsQ0FBQ0MsbUNBQXdCLENBQUMsRUFBRUMsY0FBaUI7SUFDN0MsQ0FBQ0MsbUNBQXdCLENBQUMsRUFBRUMsc0JBQWlCO0lBQzdDLENBQUNDLG1DQUF3QixDQUFDLEVBQUVDLHNCQUFpQjtJQUM3QyxDQUFDQyxtQ0FBd0IsQ0FBQyxFQUFFQyxpQkFBaUI7SUFDN0MsQ0FBQ0Msb0NBQXlCLENBQUMsRUFBRUMsbUJBQWlCO0lBQzlDLENBQUNDLG9DQUF5QixDQUFDLEVBQUVDLG9CQUFrQjtJQUMvQyxDQUFDQyxxQ0FBMEIsQ0FBQyxFQUFFQyxxQkFBbUI7SUFDakQsQ0FBQ0Msc0NBQTJCLENBQUMsRUFBRUMsbUJBQW1CO0lBQ2xELENBQUNDLHNDQUEyQixDQUFDLEVBQUVDLG9CQUFvQjtJQUNuRCxDQUFDQyxzQ0FBMkIsQ0FBQyxFQUFFQyx5QkFBb0I7SUFDbkQsQ0FBQ0Msc0NBQTJCLENBQUMsRUFBRUMsZ0JBQW9CO0lBQ25ELENBQUNDLHNDQUEyQixDQUFDLEVBQUVDLGNBQW9CO0lBQ25ELENBQUNDLHVDQUE0QixDQUFDLEVBQUVDLHFCQUFxQjtJQUNyRCxDQUFDQyx1Q0FBNEIsQ0FBQyxFQUFFQyxrQkFBcUI7SUFDckQsQ0FBQ0MsdUNBQTRCLENBQUMsRUFBRUMsa0JBQXFCO0lBQ3JELENBQUNDLHVDQUE0QixDQUFDLEVBQUVDLGVBQXFCO0lBQ3JELENBQUNDLHdDQUE2QixDQUFDLEVBQUVDLDJCQUFzQjtJQUN2RCxDQUFDQyx3Q0FBNkIsQ0FBQyxFQUFFQywyQkFBc0I7SUFDdkQsQ0FBQ0Msd0NBQTZCLENBQUMsRUFBRUMsbUJBQXNCO0lBQ3ZELENBQUNDLHdDQUE2QixDQUFDLEVBQUVDLGtCQUFzQjtJQUN2RCxDQUFDQyx5Q0FBOEIsQ0FBQyxFQUFFQyw0QkFBdUI7SUFDekQsQ0FBQ0MseUNBQThCLENBQUMsRUFBRUMsa0JBQXVCO0lBQ3pELENBQUNDLHlDQUE4QixDQUFDLEVBQUVDLGtCQUF1QjtJQUN6RCxDQUFDQywwQ0FBK0IsQ0FBQyxFQUFFQyxrQkFBd0I7SUFDM0QsQ0FBQ0MsMkNBQWdDLENBQUMsRUFBRUMsb0JBQXlCO0lBQzdELENBQUNDLDJDQUFnQyxDQUFDLEVBQUVDLG1CQUF5QjtJQUM3RCxDQUFDQywyQ0FBZ0MsQ0FBQyxFQUFFQyxtQkFBeUI7SUFDN0QsQ0FBQ0MsNENBQWlDLENBQUMsRUFBRUMsbUJBQXlCO0lBQzlELENBQUNDLDRDQUFpQyxDQUFDLEVBQUVDLG9CQUF5QjtJQUM5RCxDQUFDQyw0Q0FBaUMsQ0FBQyxFQUFFQyxxQkFBMEI7SUFDL0QsQ0FBQ0MsNkNBQWtDLENBQUMsRUFBRUMsb0JBQTBCO0lBQ2hFLENBQUNDLDZDQUFrQyxDQUFDLEVBQUVDLHNCQUEyQjtBQUNuRTtNQUVBLFdBQWV4SyJ9

package/lib/pass/zip.js

@@ -1,23 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return ZipPass;
-    }
-});
-const _occamlanguages = require("occam-languages");
-class ZipPass extends _occamlanguages.ZipPass {
-    run(generalNonTerminalNode, specificNonTerminalNode, ...remainingArguments) {
-        let success = false;
-        const generalChildNodes = generalNonTerminalNode.getChildNodes(), specificChildNodes = specificNonTerminalNode.getChildNodes(), descended = this.descend(generalChildNodes, specificChildNodes, ...remainingArguments);
-        if (descended) {
-            success = true;
-        }
-        return success;
-    }
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wYXNzL3ppcC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgWmlwUGFzcyBhcyBaaXBQYXNzQmFzZSB9IGZyb20gXCJvY2NhbS1sYW5ndWFnZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgWmlwUGFzcyBleHRlbmRzIFppcFBhc3NCYXNlIHtcbiAgcnVuKGdlbmVyYWxOb25UZXJtaW5hbE5vZGUsIHNwZWNpZmljTm9uVGVybWluYWxOb2RlLCAuLi5yZW1haW5pbmdBcmd1bWVudHMpIHtcbiAgICBsZXQgc3VjY2VzcyA9IGZhbHNlO1xuXG4gICAgY29uc3QgZ2VuZXJhbENoaWxkTm9kZXMgPSBnZW5lcmFsTm9uVGVybWluYWxOb2RlLmdldENoaWxkTm9kZXMoKSwgLy8vXG4gICAgICAgICAgc3BlY2lmaWNDaGlsZE5vZGVzID0gc3BlY2lmaWNOb25UZXJtaW5hbE5vZGUuZ2V0Q2hpbGROb2RlcygpLCAvLy9cbiAgICAgICAgICBkZXNjZW5kZWQgPSB0aGlzLmRlc2NlbmQoZ2VuZXJhbENoaWxkTm9kZXMsIHNwZWNpZmljQ2hpbGROb2RlcywgLi4ucmVtYWluaW5nQXJndW1lbnRzKTtcblxuICAgIGlmIChkZXNjZW5kZWQpIHtcbiAgICAgIHN1Y2Nlc3MgPSB0cnVlO1xuICAgIH1cblxuICAgIHJldHVybiBzdWNjZXNzO1xuICB9XG59XG4iXSwibmFtZXMiOlsiWmlwUGFzcyIsIlppcFBhc3NCYXNlIiwicnVuIiwiZ2VuZXJhbE5vblRlcm1pbmFsTm9kZSIsInNwZWNpZmljTm9uVGVybWluYWxOb2RlIiwicmVtYWluaW5nQXJndW1lbnRzIiwic3VjY2VzcyIsImdlbmVyYWxDaGlsZE5vZGVzIiwiZ2V0Q2hpbGROb2RlcyIsInNwZWNpZmljQ2hpbGROb2RlcyIsImRlc2NlbmRlZCIsImRlc2NlbmQiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUlBOzs7ZUFBcUJBOzs7Z0NBRmtCO0FBRXhCLE1BQU1BLGdCQUFnQkMsdUJBQVc7SUFDOUNDLElBQUlDLHNCQUFzQixFQUFFQyx1QkFBdUIsRUFBRSxHQUFHQyxrQkFBa0IsRUFBRTtRQUMxRSxJQUFJQyxVQUFVO1FBRWQsTUFBTUMsb0JBQW9CSix1QkFBdUJLLGFBQWEsSUFDeERDLHFCQUFxQkwsd0JBQXdCSSxhQUFhLElBQzFERSxZQUFZLElBQUksQ0FBQ0MsT0FBTyxDQUFDSixtQkFBbUJFLHVCQUF1Qko7UUFFekUsSUFBSUssV0FBVztZQUNiSixVQUFVO1FBQ1o7UUFFQSxPQUFPQTtJQUNUO0FBQ0YifQ==

package/lib/preamble.js

@@ -1,73 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-const _type = /*#__PURE__*/ _interop_require_default(require("./element/type"));
-const _term = /*#__PURE__*/ _interop_require_default(require("./element/term"));
-const _rule = /*#__PURE__*/ _interop_require_default(require("./element/rule"));
-const _step = /*#__PURE__*/ _interop_require_default(require("./element/proofAssertion/step"));
-const _label = /*#__PURE__*/ _interop_require_default(require("./element/label"));
-const _axiom = /*#__PURE__*/ _interop_require_default(require("./element/topLevelAssertion/axiom"));
-const _lemma = /*#__PURE__*/ _interop_require_default(require("./element/topLevelAssertion/lemma"));
-const _frame = /*#__PURE__*/ _interop_require_default(require("./element/frame"));
-const _proof = /*#__PURE__*/ _interop_require_default(require("./element/proof"));
-const _error = /*#__PURE__*/ _interop_require_default(require("./element/error"));
-const _premise = /*#__PURE__*/ _interop_require_default(require("./element/proofAssertion/premise"));
-const _theorem = /*#__PURE__*/ _interop_require_default(require("./element/topLevelAssertion/theorem"));
-const _section = /*#__PURE__*/ _interop_require_default(require("./element/section"));
-const _equality = /*#__PURE__*/ _interop_require_default(require("./element/equality"));
-const _metaType = /*#__PURE__*/ _interop_require_default(require("./element/metaType"));
-const _subproof = /*#__PURE__*/ _interop_require_default(require("./element/subproof"));
-const _variable = /*#__PURE__*/ _interop_require_default(require("./element/variable"));
-const _property = /*#__PURE__*/ _interop_require_default(require("./element/property"));
-const _parameter = /*#__PURE__*/ _interop_require_default(require("./element/parameter"));
-const _reference = /*#__PURE__*/ _interop_require_default(require("./element/reference"));
-const _statement = /*#__PURE__*/ _interop_require_default(require("./element/statement"));
-const _judgement = /*#__PURE__*/ _interop_require_default(require("./element/judgement"));
-const _metaLemma = /*#__PURE__*/ _interop_require_default(require("./element/topLevelMetaAssertion/metaLemma"));
-const _deduction = /*#__PURE__*/ _interop_require_default(require("./element/deduction"));
-const _signature = /*#__PURE__*/ _interop_require_default(require("./element/signature"));
-const _typePrefix = /*#__PURE__*/ _interop_require_default(require("./element/typePrefix"));
-const _conjecture = /*#__PURE__*/ _interop_require_default(require("./element/topLevelAssertion/conjecture"));
-const _conclusion = /*#__PURE__*/ _interop_require_default(require("./element/conclusion"));
-const _derivation = /*#__PURE__*/ _interop_require_default(require("./element/derivation"));
-const _hypothesis = /*#__PURE__*/ _interop_require_default(require("./element/hypothesis"));
-const _assumption = /*#__PURE__*/ _interop_require_default(require("./element/assumption"));
-const _combinator = /*#__PURE__*/ _interop_require_default(require("./element/combinator"));
-const _constructor = /*#__PURE__*/ _interop_require_default(require("./element/constructor"));
-const _supposition = /*#__PURE__*/ _interop_require_default(require("./element/proofAssertion/supposition"));
-const _metatheorem = /*#__PURE__*/ _interop_require_default(require("./element/topLevelMetaAssertion/metatheorem"));
-const _equivalence = /*#__PURE__*/ _interop_require_default(require("./element/equivalence"));
-const _metavariable = /*#__PURE__*/ _interop_require_default(require("./element/metavariable"));
-const _procedureCall = /*#__PURE__*/ _interop_require_default(require("./element/procedureCall"));
-const _subDerivation = /*#__PURE__*/ _interop_require_default(require("./element/subDerivation"));
-const _type1 = /*#__PURE__*/ _interop_require_default(require("./element/assertion/type"));
-const _propertyRelation = /*#__PURE__*/ _interop_require_default(require("./element/propertyRelation"));
-const _defined = /*#__PURE__*/ _interop_require_default(require("./element/assertion/defined"));
-const _term1 = /*#__PURE__*/ _interop_require_default(require("./element/substitution/term"));
-const _frame1 = /*#__PURE__*/ _interop_require_default(require("./element/substitution/frame"));
-const _subproof1 = /*#__PURE__*/ _interop_require_default(require("./element/assertion/subproof"));
-const _property1 = /*#__PURE__*/ _interop_require_default(require("./element/assertion/property"));
-const _procedureReference = /*#__PURE__*/ _interop_require_default(require("./element/procedureReference"));
-const _contained = /*#__PURE__*/ _interop_require_default(require("./element/assertion/contained"));
-const _signature1 = /*#__PURE__*/ _interop_require_default(require("./element/assertion/signature"));
-const _metaLevel = /*#__PURE__*/ _interop_require_default(require("./element/assumption/metaLevel"));
-const _property2 = /*#__PURE__*/ _interop_require_default(require("./element/declaration/property"));
-const _variable1 = /*#__PURE__*/ _interop_require_default(require("./element/declaration/variable"));
-const _bracketed = /*#__PURE__*/ _interop_require_default(require("./element/combinator/bracketed"));
-const _bracketed1 = /*#__PURE__*/ _interop_require_default(require("./element/constructor/bracketed"));
-const _simpleType = /*#__PURE__*/ _interop_require_default(require("./element/declaration/simpleType"));
-const _statement1 = /*#__PURE__*/ _interop_require_default(require("./element/substitution/statement"));
-const _reference1 = /*#__PURE__*/ _interop_require_default(require("./element/substitution/reference"));
-const _combinator1 = /*#__PURE__*/ _interop_require_default(require("./element/declaration/combinator"));
-const _typePrefix1 = /*#__PURE__*/ _interop_require_default(require("./element/declaration/typePrefix"));
-const _constructor1 = /*#__PURE__*/ _interop_require_default(require("./element/declaration/constructor"));
-const _complexType = /*#__PURE__*/ _interop_require_default(require("./element/declaration/complexType"));
-const _metavariable1 = /*#__PURE__*/ _interop_require_default(require("./element/declaration/metavariable"));
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9wcmVhbWJsZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IFR5cGUgZnJvbSBcIi4vZWxlbWVudC90eXBlXCI7XG5pbXBvcnQgVGVybSBmcm9tIFwiLi9lbGVtZW50L3Rlcm1cIjtcbmltcG9ydCBSdWxlIGZyb20gXCIuL2VsZW1lbnQvcnVsZVwiO1xuaW1wb3J0IFN0ZXAgZnJvbSBcIi4vZWxlbWVudC9wcm9vZkFzc2VydGlvbi9zdGVwXCI7XG5pbXBvcnQgTGFiZWwgZnJvbSBcIi4vZWxlbWVudC9sYWJlbFwiO1xuaW1wb3J0IEF4aW9tIGZyb20gXCIuL2VsZW1lbnQvdG9wTGV2ZWxBc3NlcnRpb24vYXhpb21cIjtcbmltcG9ydCBMZW1tYSBmcm9tIFwiLi9lbGVtZW50L3RvcExldmVsQXNzZXJ0aW9uL2xlbW1hXCI7XG5pbXBvcnQgRnJhbWUgZnJvbSBcIi4vZWxlbWVudC9mcmFtZVwiO1xuaW1wb3J0IFByb29mIGZyb20gXCIuL2VsZW1lbnQvcHJvb2ZcIjtcbmltcG9ydCBFcnJvciBmcm9tIFwiLi9lbGVtZW50L2Vycm9yXCI7XG5pbXBvcnQgUHJlbWlzZSBmcm9tIFwiLi9lbGVtZW50L3Byb29mQXNzZXJ0aW9uL3ByZW1pc2VcIjtcbmltcG9ydCBUaGVvcmVtIGZyb20gXCIuL2VsZW1lbnQvdG9wTGV2ZWxBc3NlcnRpb24vdGhlb3JlbVwiO1xuaW1wb3J0IFNlY3Rpb24gZnJvbSBcIi4vZWxlbWVudC9zZWN0aW9uXCI7XG5pbXBvcnQgRXF1YWxpdHkgZnJvbSBcIi4vZWxlbWVudC9lcXVhbGl0eVwiO1xuaW1wb3J0IE1ldGFUeXBlIGZyb20gXCIuL2VsZW1lbnQvbWV0YVR5cGVcIjtcbmltcG9ydCBTdWJwcm9vZiBmcm9tIFwiLi9lbGVtZW50L3N1YnByb29mXCI7XG5pbXBvcnQgVmFyaWFibGUgZnJvbSBcIi4vZWxlbWVudC92YXJpYWJsZVwiO1xuaW1wb3J0IFByb3BlcnR5IGZyb20gXCIuL2VsZW1lbnQvcHJvcGVydHlcIjtcbmltcG9ydCBQYXJhbWV0ZXIgZnJvbSBcIi4vZWxlbWVudC9wYXJhbWV0ZXJcIjtcbmltcG9ydCBSZWZlcmVuY2UgZnJvbSBcIi4vZWxlbWVudC9yZWZlcmVuY2VcIjtcbmltcG9ydCBTdGF0ZW1lbnQgZnJvbSBcIi4vZWxlbWVudC9zdGF0ZW1lbnRcIjtcbmltcG9ydCBKdWRnZW1lbnQgZnJvbSBcIi4vZWxlbWVudC9qdWRnZW1lbnRcIjtcbmltcG9ydCBNZXRhTGVtbWEgZnJvbSBcIi4vZWxlbWVudC90b3BMZXZlbE1ldGFBc3NlcnRpb24vbWV0YUxlbW1hXCI7XG5pbXBvcnQgRGVkdWN0aW9uIGZyb20gXCIuL2VsZW1lbnQvZGVkdWN0aW9uXCI7XG5pbXBvcnQgU2lnbmF0dXJlIGZyb20gXCIuL2VsZW1lbnQvc2lnbmF0dXJlXCI7XG5pbXBvcnQgVHlwZVByZWZpeCBmcm9tIFwiLi9lbGVtZW50L3R5cGVQcmVmaXhcIjtcbmltcG9ydCBDb25qZWN0dXJlIGZyb20gXCIuL2VsZW1lbnQvdG9wTGV2ZWxBc3NlcnRpb24vY29uamVjdHVyZVwiO1xuaW1wb3J0IENvbmNsdXNpb24gZnJvbSBcIi4vZWxlbWVudC9jb25jbHVzaW9uXCI7XG5pbXBvcnQgRGVyaXZhdGlvbiBmcm9tIFwiLi9lbGVtZW50L2Rlcml2YXRpb25cIjtcbmltcG9ydCBIeXBvdGhlc2lzIGZyb20gXCIuL2VsZW1lbnQvaHlwb3RoZXNpc1wiO1xuaW1wb3J0IEFzc3VtcHRpb24gZnJvbSBcIi4vZWxlbWVudC9hc3N1bXB0aW9uXCI7XG5pbXBvcnQgQ29tYmluYXRvciBmcm9tIFwiLi9lbGVtZW50L2NvbWJpbmF0b3JcIjtcbmltcG9ydCBDb25zdHJ1Y3RvciBmcm9tIFwiLi9lbGVtZW50L2NvbnN0cnVjdG9yXCI7XG5pbXBvcnQgU3VwcG9zaXRpb24gZnJvbSBcIi4vZWxlbWVudC9wcm9vZkFzc2VydGlvbi9zdXBwb3NpdGlvblwiO1xuaW1wb3J0IE1ldGF0aGVvcmVtIGZyb20gXCIuL2VsZW1lbnQvdG9wTGV2ZWxNZXRhQXNzZXJ0aW9uL21ldGF0aGVvcmVtXCI7XG5pbXBvcnQgRXF1aXZhbGVuY2UgZnJvbSBcIi4vZWxlbWVudC9lcXVpdmFsZW5jZVwiO1xuaW1wb3J0IE1ldGF2YXJpYWJsZSBmcm9tIFwiLi9lbGVtZW50L21ldGF2YXJpYWJsZVwiO1xuaW1wb3J0IFByb2NlZHVyZUNhbGwgZnJvbSBcIi4vZWxlbWVudC9wcm9jZWR1cmVDYWxsXCI7XG5pbXBvcnQgU3ViRGVyaXZhdGlvbiBmcm9tIFwiLi9lbGVtZW50L3N1YkRlcml2YXRpb25cIjtcbmltcG9ydCBUeXBlQXNzZXJ0aW9uIGZyb20gXCIuL2VsZW1lbnQvYXNzZXJ0aW9uL3R5cGVcIjtcbmltcG9ydCBQcm9wZXJ0eVJlbGF0aW9uIGZyb20gXCIuL2VsZW1lbnQvcHJvcGVydHlSZWxhdGlvblwiO1xuaW1wb3J0IERlZmluZWRBc3NlcnRpb24gZnJvbSBcIi4vZWxlbWVudC9hc3NlcnRpb24vZGVmaW5lZFwiO1xuaW1wb3J0IFRlcm1TdWJzdGl0dXRpb24gZnJvbSBcIi4vZWxlbWVudC9zdWJzdGl0dXRpb24vdGVybVwiO1xuaW1wb3J0IEZyYW1lU3Vic3RpdHV0aW9uIGZyb20gXCIuL2VsZW1lbnQvc3Vic3RpdHV0aW9uL2ZyYW1lXCI7XG5pbXBvcnQgU3VicHJvb2ZBc3NlcnRpb24gZnJvbSBcIi4vZWxlbWVudC9hc3NlcnRpb24vc3VicHJvb2ZcIjtcbmltcG9ydCBQcm9wZXJ0eUFzc2VydGlvbiBmcm9tIFwiLi9lbGVtZW50L2Fzc2VydGlvbi9wcm9wZXJ0eVwiO1xuaW1wb3J0IFByb2NlZHVyZVJlZmVyZW5jZSBmcm9tIFwiLi9lbGVtZW50L3Byb2NlZHVyZVJlZmVyZW5jZVwiO1xuaW1wb3J0IENvbnRhaW5lZEFzc2VydGlvbiBmcm9tIFwiLi9lbGVtZW50L2Fzc2VydGlvbi9jb250YWluZWRcIjtcbmltcG9ydCBzaWduYXR1cmVBc3NlcnRpb24gZnJvbSBcIi4vZWxlbWVudC9hc3NlcnRpb24vc2lnbmF0dXJlXCI7XG5pbXBvcnQgTWV0YUxldmVsQXNzdW1wdGlvbiBmcm9tIFwiLi9lbGVtZW50L2Fzc3VtcHRpb24vbWV0YUxldmVsXCI7XG5pbXBvcnQgUHJvcGVydHlEZWNsYXJhdGlvbiBmcm9tIFwiLi9lbGVtZW50L2RlY2xhcmF0aW9uL3Byb3BlcnR5XCI7XG5pbXBvcnQgVmFyaWFibGVEZWNsYXJhdGlvbiBmcm9tIFwiLi9lbGVtZW50L2RlY2xhcmF0aW9uL3ZhcmlhYmxlXCI7XG5pbXBvcnQgQnJhY2tldGVkQ29tYmluYXRvciBmcm9tIFwiLi9lbGVtZW50L2NvbWJpbmF0b3IvYnJhY2tldGVkXCI7XG5pbXBvcnQgQnJhY2tldGVkQ29uc3RydWN0b3IgZnJvbSBcIi4vZWxlbWVudC9jb25zdHJ1Y3Rvci9icmFja2V0ZWRcIjtcbmltcG9ydCBTaW1wbGVUeXBlRGVjbGFyYXRpb24gZnJvbSBcIi4vZWxlbWVudC9kZWNsYXJhdGlvbi9zaW1wbGVUeXBlXCI7XG5pbXBvcnQgU3RhdGVtZW50U3Vic3RpdHV0aW9uIGZyb20gXCIuL2VsZW1lbnQvc3Vic3RpdHV0aW9uL3N0YXRlbWVudFwiO1xuaW1wb3J0IFJlZmVyZW5jZVN1YnN0aXR1dGlvbiBmcm9tIFwiLi9lbGVtZW50L3N1YnN0aXR1dGlvbi9yZWZlcmVuY2VcIjtcbmltcG9ydCBDb21iaW5hdG9yRGVjbGFyYXRpb24gZnJvbSBcIi4vZWxlbWVudC9kZWNsYXJhdGlvbi9jb21iaW5hdG9yXCI7XG5pbXBvcnQgVHlwZVByZWZpeERlY2xhcmF0aW9uIGZyb20gXCIuL2VsZW1lbnQvZGVjbGFyYXRpb24vdHlwZVByZWZpeFwiO1xuaW1wb3J0IENvbnN0cnVjdG9yRGVjbGFyYXRpb24gZnJvbSBcIi4vZWxlbWVudC9kZWNsYXJhdGlvbi9jb25zdHJ1Y3RvclwiO1xuaW1wb3J0IENvbXBsZXhUeXBlRGVjbGFyYXRpb24gZnJvbSBcIi4vZWxlbWVudC9kZWNsYXJhdGlvbi9jb21wbGV4VHlwZVwiO1xuaW1wb3J0IE1ldGF2YXJpYWJsZURlY2xhcmF0aW9uIGZyb20gXCIuL2VsZW1lbnQvZGVjbGFyYXRpb24vbWV0YXZhcmlhYmxlXCI7XG4iXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7NkRBRWlCOzZEQUNBOzZEQUNBOzZEQUNBOzhEQUNDOzhEQUNBOzhEQUNBOzhEQUNBOzhEQUNBOzhEQUNBO2dFQUNFO2dFQUNBO2dFQUNBO2lFQUNDO2lFQUNBO2lFQUNBO2lFQUNBO2lFQUNBO2tFQUNDO2tFQUNBO2tFQUNBO2tFQUNBO2tFQUNBO2tFQUNBO2tFQUNBO21FQUNDO21FQUNBO21FQUNBO21FQUNBO21FQUNBO21FQUNBO21FQUNBO29FQUNDO29FQUNBO29FQUNBO29FQUNBO3FFQUNDO3NFQUNDO3NFQUNBOzhEQUNBO3lFQUNHO2dFQUNBOzhEQUNBOytEQUNDO2tFQUNBO2tFQUNBOzJFQUNDO2tFQUNBO21FQUNBO2tFQUNDO2tFQUNBO2tFQUNBO2tFQUNBO21FQUNDO21FQUNDO21FQUNBO21FQUNBO29FQUNBO29FQUNBO3FFQUNDO29FQUNBO3NFQUNDIn0=

package/lib/process/assign.js

@@ -1,62 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-function _export(target, all) {
-    for(var name in all)Object.defineProperty(target, name, {
-        enumerable: true,
-        get: Object.getOwnPropertyDescriptor(all, name).get
-    });
-}
-_export(exports, {
-    get equalityAssignmentFromEquality () {
-        return equalityAssignmentFromEquality;
-    },
-    get judgementAssignmentFromJudgement () {
-        return judgementAssignmentFromJudgement;
-    },
-    get leftVariableAssignmentFromEquality () {
-        return leftVariableAssignmentFromEquality;
-    },
-    get rightVariableAssignmentFromEquality () {
-        return rightVariableAssignmentFromEquality;
-    },
-    get variableAssignmentFromPrepertyAssertion () {
-        return variableAssignmentFromPrepertyAssertion;
-    },
-    get variableAssignmentFromTypeAssertion () {
-        return variableAssignmentFromTypeAssertion;
-    }
-});
-const _assignment = require("../utilities/assignment");
-function equalityAssignmentFromEquality(equality, context) {
-    const equalityAssignment = (context)=>{
-        context.addEquality(equality);
-    };
-    return equalityAssignment;
-}
-function judgementAssignmentFromJudgement(judgement, context) {
-    const judgementAssignment = (context)=>{
-        const declaredJudgement = judgement; ///
-        context.addDeclaredJudgement(declaredJudgement);
-    };
-    return judgementAssignment;
-}
-function leftVariableAssignmentFromEquality(equality, context) {
-    const type = equality.getType(), leftTerm = equality.getLeftTerm(), leftVariableAssignment = (0, _assignment.variableAssignmentFromTermAndType)(leftTerm, type, context);
-    return leftVariableAssignment;
-}
-function rightVariableAssignmentFromEquality(equality, context) {
-    const type = equality.getType(), rightTerm = equality.getRightTerm(), rightVariableAssignment = (0, _assignment.variableAssignmentFromTermAndType)(rightTerm, type, context);
-    return rightVariableAssignment;
-}
-function variableAssignmentFromTypeAssertion(typeAssertion, context) {
-    const term = typeAssertion.getTerm(), type = typeAssertion.getType(), variableAssignment = (0, _assignment.variableAssignmentFromTermAndType)(term, type, context);
-    return variableAssignment;
-}
-function variableAssignmentFromPrepertyAssertion(propertyAssertion, context) {
-    const term = propertyAssertion.getTerm(), type = propertyAssertion.getType(), variableAssignment = (0, _assignment.variableAssignmentFromTermAndType)(term, type, context);
-    return variableAssignment;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcm9jZXNzL2Fzc2lnbi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgdmFyaWFibGVBc3NpZ25tZW50RnJvbVRlcm1BbmRUeXBlIH0gZnJvbSBcIi4uL3V0aWxpdGllcy9hc3NpZ25tZW50XCI7XG5cbmV4cG9ydCBmdW5jdGlvbiBlcXVhbGl0eUFzc2lnbm1lbnRGcm9tRXF1YWxpdHkoZXF1YWxpdHksIGNvbnRleHQpIHtcbiAgY29uc3QgZXF1YWxpdHlBc3NpZ25tZW50ID0gKGNvbnRleHQpID0+IHtcbiAgICBjb250ZXh0LmFkZEVxdWFsaXR5KGVxdWFsaXR5KTtcbiAgfTtcblxuICByZXR1cm4gZXF1YWxpdHlBc3NpZ25tZW50O1xufVxuXG5leHBvcnQgZnVuY3Rpb24ganVkZ2VtZW50QXNzaWdubWVudEZyb21KdWRnZW1lbnQoanVkZ2VtZW50LCBjb250ZXh0KSB7XG4gIGNvbnN0IGp1ZGdlbWVudEFzc2lnbm1lbnQgPSAoY29udGV4dCkgPT4ge1xuICAgIGNvbnN0IGRlY2xhcmVkSnVkZ2VtZW50ID0ganVkZ2VtZW50OyAgLy8vXG5cbiAgICBjb250ZXh0LmFkZERlY2xhcmVkSnVkZ2VtZW50KGRlY2xhcmVkSnVkZ2VtZW50KTtcbiAgfTtcblxuICByZXR1cm4ganVkZ2VtZW50QXNzaWdubWVudDtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGxlZnRWYXJpYWJsZUFzc2lnbm1lbnRGcm9tRXF1YWxpdHkoZXF1YWxpdHksIGNvbnRleHQpIHtcbiAgY29uc3QgdHlwZSA9IGVxdWFsaXR5LmdldFR5cGUoKSxcbiAgICAgICAgbGVmdFRlcm0gPSBlcXVhbGl0eS5nZXRMZWZ0VGVybSgpLFxuICAgICAgICBsZWZ0VmFyaWFibGVBc3NpZ25tZW50ID0gdmFyaWFibGVBc3NpZ25tZW50RnJvbVRlcm1BbmRUeXBlKGxlZnRUZXJtLCB0eXBlLCBjb250ZXh0KTtcblxuICByZXR1cm4gbGVmdFZhcmlhYmxlQXNzaWdubWVudDtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHJpZ2h0VmFyaWFibGVBc3NpZ25tZW50RnJvbUVxdWFsaXR5KGVxdWFsaXR5LCBjb250ZXh0KSB7XG4gIGNvbnN0IHR5cGUgPSBlcXVhbGl0eS5nZXRUeXBlKCksXG4gICAgICAgIHJpZ2h0VGVybSA9IGVxdWFsaXR5LmdldFJpZ2h0VGVybSgpLFxuICAgICAgICByaWdodFZhcmlhYmxlQXNzaWdubWVudCA9IHZhcmlhYmxlQXNzaWdubWVudEZyb21UZXJtQW5kVHlwZShyaWdodFRlcm0sIHR5cGUsIGNvbnRleHQpO1xuXG4gIHJldHVybiByaWdodFZhcmlhYmxlQXNzaWdubWVudDtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHZhcmlhYmxlQXNzaWdubWVudEZyb21UeXBlQXNzZXJ0aW9uKHR5cGVBc3NlcnRpb24sIGNvbnRleHQpIHtcbiAgY29uc3QgdGVybSA9IHR5cGVBc3NlcnRpb24uZ2V0VGVybSgpLFxuICAgICAgICB0eXBlID0gdHlwZUFzc2VydGlvbi5nZXRUeXBlKCksXG4gICAgICAgIHZhcmlhYmxlQXNzaWdubWVudCA9IHZhcmlhYmxlQXNzaWdubWVudEZyb21UZXJtQW5kVHlwZSh0ZXJtLCB0eXBlLCBjb250ZXh0KTtcblxuICByZXR1cm4gdmFyaWFibGVBc3NpZ25tZW50O1xufVxuXG5leHBvcnQgZnVuY3Rpb24gdmFyaWFibGVBc3NpZ25tZW50RnJvbVByZXBlcnR5QXNzZXJ0aW9uKHByb3BlcnR5QXNzZXJ0aW9uLCBjb250ZXh0KSB7XG4gIGNvbnN0IHRlcm0gPSBwcm9wZXJ0eUFzc2VydGlvbi5nZXRUZXJtKCksXG4gICAgICAgIHR5cGUgPSBwcm9wZXJ0eUFzc2VydGlvbi5nZXRUeXBlKCksXG4gICAgICAgIHZhcmlhYmxlQXNzaWdubWVudCA9IHZhcmlhYmxlQXNzaWdubWVudEZyb21UZXJtQW5kVHlwZSh0ZXJtLCB0eXBlLCBjb250ZXh0KTtcblxuICByZXR1cm4gdmFyaWFibGVBc3NpZ25tZW50O1xufVxuIl0sIm5hbWVzIjpbImVxdWFsaXR5QXNzaWdubWVudEZyb21FcXVhbGl0eSIsImp1ZGdlbWVudEFzc2lnbm1lbnRGcm9tSnVkZ2VtZW50IiwibGVmdFZhcmlhYmxlQXNzaWdubWVudEZyb21FcXVhbGl0eSIsInJpZ2h0VmFyaWFibGVBc3NpZ25tZW50RnJvbUVxdWFsaXR5IiwidmFyaWFibGVBc3NpZ25tZW50RnJvbVByZXBlcnR5QXNzZXJ0aW9uIiwidmFyaWFibGVBc3NpZ25tZW50RnJvbVR5cGVBc3NlcnRpb24iLCJlcXVhbGl0eSIsImNvbnRleHQiLCJlcXVhbGl0eUFzc2lnbm1lbnQiLCJhZGRFcXVhbGl0eSIsImp1ZGdlbWVudCIsImp1ZGdlbWVudEFzc2lnbm1lbnQiLCJkZWNsYXJlZEp1ZGdlbWVudCIsImFkZERlY2xhcmVkSnVkZ2VtZW50IiwidHlwZSIsImdldFR5cGUiLCJsZWZ0VGVybSIsImdldExlZnRUZXJtIiwibGVmdFZhcmlhYmxlQXNzaWdubWVudCIsInZhcmlhYmxlQXNzaWdubWVudEZyb21UZXJtQW5kVHlwZSIsInJpZ2h0VGVybSIsImdldFJpZ2h0VGVybSIsInJpZ2h0VmFyaWFibGVBc3NpZ25tZW50IiwidHlwZUFzc2VydGlvbiIsInRlcm0iLCJnZXRUZXJtIiwidmFyaWFibGVBc3NpZ25tZW50IiwicHJvcGVydHlBc3NlcnRpb24iXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQUlnQkE7ZUFBQUE7O1FBUUFDO2VBQUFBOztRQVVBQztlQUFBQTs7UUFRQUM7ZUFBQUE7O1FBZ0JBQztlQUFBQTs7UUFSQUM7ZUFBQUE7Ozs0QkFwQ2tDO0FBRTNDLFNBQVNMLCtCQUErQk0sUUFBUSxFQUFFQyxPQUFPO0lBQzlELE1BQU1DLHFCQUFxQixDQUFDRDtRQUMxQkEsUUFBUUUsV0FBVyxDQUFDSDtJQUN0QjtJQUVBLE9BQU9FO0FBQ1Q7QUFFTyxTQUFTUCxpQ0FBaUNTLFNBQVMsRUFBRUgsT0FBTztJQUNqRSxNQUFNSSxzQkFBc0IsQ0FBQ0o7UUFDM0IsTUFBTUssb0JBQW9CRixXQUFZLEdBQUc7UUFFekNILFFBQVFNLG9CQUFvQixDQUFDRDtJQUMvQjtJQUVBLE9BQU9EO0FBQ1Q7QUFFTyxTQUFTVCxtQ0FBbUNJLFFBQVEsRUFBRUMsT0FBTztJQUNsRSxNQUFNTyxPQUFPUixTQUFTUyxPQUFPLElBQ3ZCQyxXQUFXVixTQUFTVyxXQUFXLElBQy9CQyx5QkFBeUJDLElBQUFBLDZDQUFpQyxFQUFDSCxVQUFVRixNQUFNUDtJQUVqRixPQUFPVztBQUNUO0FBRU8sU0FBU2Ysb0NBQW9DRyxRQUFRLEVBQUVDLE9BQU87SUFDbkUsTUFBTU8sT0FBT1IsU0FBU1MsT0FBTyxJQUN2QkssWUFBWWQsU0FBU2UsWUFBWSxJQUNqQ0MsMEJBQTBCSCxJQUFBQSw2Q0FBaUMsRUFBQ0MsV0FBV04sTUFBTVA7SUFFbkYsT0FBT2U7QUFDVDtBQUVPLFNBQVNqQixvQ0FBb0NrQixhQUFhLEVBQUVoQixPQUFPO0lBQ3hFLE1BQU1pQixPQUFPRCxjQUFjRSxPQUFPLElBQzVCWCxPQUFPUyxjQUFjUixPQUFPLElBQzVCVyxxQkFBcUJQLElBQUFBLDZDQUFpQyxFQUFDSyxNQUFNVixNQUFNUDtJQUV6RSxPQUFPbUI7QUFDVDtBQUVPLFNBQVN0Qix3Q0FBd0N1QixpQkFBaUIsRUFBRXBCLE9BQU87SUFDaEYsTUFBTWlCLE9BQU9HLGtCQUFrQkYsT0FBTyxJQUNoQ1gsT0FBT2Esa0JBQWtCWixPQUFPLElBQ2hDVyxxQkFBcUJQLElBQUFBLDZDQUFpQyxFQUFDSyxNQUFNVixNQUFNUDtJQUV6RSxPQUFPbUI7QUFDVCJ9

package/lib/process/discharge.js

@@ -1,38 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "dischargeStatements", {
-    enumerable: true,
-    get: function() {
-        return dischargeStatements;
-    }
-});
-const _elements = /*#__PURE__*/ _interop_require_default(require("../elements"));
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-function dischargeStatementAsTypeAssertion(statement, context) {
-    let dischargesStatementAsTypeAssertion = false;
-    const { TypeAssertion } = _elements.default;
-    const typeAssertion = TypeAssertion.fromStatement(statement, context);
-    if (typeAssertion !== null) {
-        const statementString = statement.getString();
-        context.trace(`Validating the '${statementString}' statement as a type assertion...`);
-        const discharges = typeAssertion.discharge(context); ///
-        if (discharges !== null) {
-            dischargesStatementAsTypeAssertion = true;
-        }
-        if (dischargesStatementAsTypeAssertion) {
-            context.debug(`...discharged the '${statementString}' statement as a type assertion.`);
-        }
-    }
-    return dischargesStatementAsTypeAssertion;
-}
-const dischargeStatements = [
-    dischargeStatementAsTypeAssertion
-];
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcm9jZXNzL2Rpc2NoYXJnZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IGVsZW1lbnRzIGZyb20gXCIuLi9lbGVtZW50c1wiO1xuXG5mdW5jdGlvbiBkaXNjaGFyZ2VTdGF0ZW1lbnRBc1R5cGVBc3NlcnRpb24oc3RhdGVtZW50LCBjb250ZXh0KSB7XG4gIGxldCBkaXNjaGFyZ2VzU3RhdGVtZW50QXNUeXBlQXNzZXJ0aW9uID0gZmFsc2U7XG5cbiAgY29uc3QgeyBUeXBlQXNzZXJ0aW9uIH0gPSBlbGVtZW50cztcblxuICBjb25zdCB0eXBlQXNzZXJ0aW9uID0gVHlwZUFzc2VydGlvbi5mcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCk7XG5cbiAgaWYgKHR5cGVBc3NlcnRpb24gIT09IG51bGwpIHtcbiAgICBjb25zdCBzdGF0ZW1lbnRTdHJpbmcgPSBzdGF0ZW1lbnQuZ2V0U3RyaW5nKCk7XG5cbiAgICBjb250ZXh0LnRyYWNlKGBWYWxpZGF0aW5nIHRoZSAnJHtzdGF0ZW1lbnRTdHJpbmd9JyBzdGF0ZW1lbnQgYXMgYSB0eXBlIGFzc2VydGlvbi4uLmApO1xuXG4gICAgY29uc3QgZGlzY2hhcmdlcyA9IHR5cGVBc3NlcnRpb24uZGlzY2hhcmdlKGNvbnRleHQpOyAgLy8vXG5cbiAgICBpZiAoZGlzY2hhcmdlcyAhPT0gbnVsbCkge1xuICAgICAgZGlzY2hhcmdlc1N0YXRlbWVudEFzVHlwZUFzc2VydGlvbiA9IHRydWU7XG4gICAgfVxuXG4gICAgaWYgKGRpc2NoYXJnZXNTdGF0ZW1lbnRBc1R5cGVBc3NlcnRpb24pIHtcbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLmRpc2NoYXJnZWQgdGhlICcke3N0YXRlbWVudFN0cmluZ30nIHN0YXRlbWVudCBhcyBhIHR5cGUgYXNzZXJ0aW9uLmApO1xuICAgIH1cbiAgfVxuXG4gIHJldHVybiBkaXNjaGFyZ2VzU3RhdGVtZW50QXNUeXBlQXNzZXJ0aW9uO1xufVxuXG5leHBvcnQgY29uc3QgZGlzY2hhcmdlU3RhdGVtZW50cyA9IFtcbiAgZGlzY2hhcmdlU3RhdGVtZW50QXNUeXBlQXNzZXJ0aW9uXG5dO1xuIl0sIm5hbWVzIjpbImRpc2NoYXJnZVN0YXRlbWVudHMiLCJkaXNjaGFyZ2VTdGF0ZW1lbnRBc1R5cGVBc3NlcnRpb24iLCJzdGF0ZW1lbnQiLCJjb250ZXh0IiwiZGlzY2hhcmdlc1N0YXRlbWVudEFzVHlwZUFzc2VydGlvbiIsIlR5cGVBc3NlcnRpb24iLCJlbGVtZW50cyIsInR5cGVBc3NlcnRpb24iLCJmcm9tU3RhdGVtZW50Iiwic3RhdGVtZW50U3RyaW5nIiwiZ2V0U3RyaW5nIiwidHJhY2UiLCJkaXNjaGFyZ2VzIiwiZGlzY2hhcmdlIiwiZGVidWciXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQThCYUE7OztlQUFBQTs7O2lFQTVCUTs7Ozs7O0FBRXJCLFNBQVNDLGtDQUFrQ0MsU0FBUyxFQUFFQyxPQUFPO0lBQzNELElBQUlDLHFDQUFxQztJQUV6QyxNQUFNLEVBQUVDLGFBQWEsRUFBRSxHQUFHQyxpQkFBUTtJQUVsQyxNQUFNQyxnQkFBZ0JGLGNBQWNHLGFBQWEsQ0FBQ04sV0FBV0M7SUFFN0QsSUFBSUksa0JBQWtCLE1BQU07UUFDMUIsTUFBTUUsa0JBQWtCUCxVQUFVUSxTQUFTO1FBRTNDUCxRQUFRUSxLQUFLLENBQUMsQ0FBQyxnQkFBZ0IsRUFBRUYsZ0JBQWdCLGtDQUFrQyxDQUFDO1FBRXBGLE1BQU1HLGFBQWFMLGNBQWNNLFNBQVMsQ0FBQ1YsVUFBVyxHQUFHO1FBRXpELElBQUlTLGVBQWUsTUFBTTtZQUN2QlIscUNBQXFDO1FBQ3ZDO1FBRUEsSUFBSUEsb0NBQW9DO1lBQ3RDRCxRQUFRVyxLQUFLLENBQUMsQ0FBQyxtQkFBbUIsRUFBRUwsZ0JBQWdCLGdDQUFnQyxDQUFDO1FBQ3ZGO0lBQ0Y7SUFFQSxPQUFPTDtBQUNUO0FBRU8sTUFBTUosc0JBQXNCO0lBQ2pDQztDQUNEIn0=