occam-verify-cli 1.0.984 → 1.0.985

package/lib/node/substitution/reference.js

@@ -1,40 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return ReferenceSubstitutionNode;
-    }
-});
-const _substitution = /*#__PURE__*/ _interop_require_default(require("../../node/substitution"));
-const _ruleNames = require("../../ruleNames");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-class ReferenceSubstitutionNode extends _substitution.default {
-    getTargetReferenceNode() {
-        const lastReferenceNode = this.getLastReferenceNode(), targetReferenceNode = lastReferenceNode; ///
-        return targetReferenceNode;
-    }
-    getReplacementReferenceNode() {
-        const firstReferenceNode = this.getFirstReferenceNode(), replacementReferenceNode = firstReferenceNode; ///
-        return replacementReferenceNode;
-    }
-    getLastReferenceNode() {
-        const ruleName = _ruleNames.REFERENCE_RULE_NAME, lastReferenceNode = this.getLastNodeByRuleName(ruleName);
-        return lastReferenceNode;
-    }
-    getFirstReferenceNode() {
-        const ruleName = _ruleNames.REFERENCE_RULE_NAME, firstReferenceNode = this.getFirstNodeByRuleName(ruleName);
-        return firstReferenceNode;
-    }
-    static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
-        return _substitution.default.fromRuleNameChildNodesOpacityAndPrecedence(ReferenceSubstitutionNode, ruleName, childNodes, opacity, precedence);
-    }
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL3N1YnN0aXR1dGlvbi9yZWZlcmVuY2UuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBTdWJzdGl0dXRpb25Ob2RlIGZyb20gXCIuLi8uLi9ub2RlL3N1YnN0aXR1dGlvblwiO1xuXG5pbXBvcnQgeyBSRUZFUkVOQ0VfUlVMRV9OQU1FIH0gZnJvbSBcIi4uLy4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBSZWZlcmVuY2VTdWJzdGl0dXRpb25Ob2RlIGV4dGVuZHMgU3Vic3RpdHV0aW9uTm9kZSB7XG4gIGdldFRhcmdldFJlZmVyZW5jZU5vZGUoKSB7XG4gICAgY29uc3QgbGFzdFJlZmVyZW5jZU5vZGUgPSB0aGlzLmdldExhc3RSZWZlcmVuY2VOb2RlKCksXG4gICAgICAgICAgdGFyZ2V0UmVmZXJlbmNlTm9kZSA9IGxhc3RSZWZlcmVuY2VOb2RlOyAvLy9cblxuICAgIHJldHVybiB0YXJnZXRSZWZlcmVuY2VOb2RlO1xuICB9XG5cbiAgZ2V0UmVwbGFjZW1lbnRSZWZlcmVuY2VOb2RlKCkge1xuICAgIGNvbnN0IGZpcnN0UmVmZXJlbmNlTm9kZSA9IHRoaXMuZ2V0Rmlyc3RSZWZlcmVuY2VOb2RlKCksXG4gICAgICAgICAgcmVwbGFjZW1lbnRSZWZlcmVuY2VOb2RlID0gZmlyc3RSZWZlcmVuY2VOb2RlOyAvLy9cblxuICAgIHJldHVybiByZXBsYWNlbWVudFJlZmVyZW5jZU5vZGU7XG4gIH1cblxuICBnZXRMYXN0UmVmZXJlbmNlTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFJFRkVSRU5DRV9SVUxFX05BTUUsXG4gICAgICAgICAgbGFzdFJlZmVyZW5jZU5vZGUgPSB0aGlzLmdldExhc3ROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gbGFzdFJlZmVyZW5jZU5vZGU7XG4gIH1cblxuICBnZXRGaXJzdFJlZmVyZW5jZU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBSRUZFUkVOQ0VfUlVMRV9OQU1FLFxuICAgICAgICAgIGZpcnN0UmVmZXJlbmNlTm9kZSA9IHRoaXMuZ2V0Rmlyc3ROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gZmlyc3RSZWZlcmVuY2VOb2RlO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gU3Vic3RpdHV0aW9uTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoUmVmZXJlbmNlU3Vic3RpdHV0aW9uTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG5cbiJdLCJuYW1lcyI6WyJSZWZlcmVuY2VTdWJzdGl0dXRpb25Ob2RlIiwiU3Vic3RpdHV0aW9uTm9kZSIsImdldFRhcmdldFJlZmVyZW5jZU5vZGUiLCJsYXN0UmVmZXJlbmNlTm9kZSIsImdldExhc3RSZWZlcmVuY2VOb2RlIiwidGFyZ2V0UmVmZXJlbmNlTm9kZSIsImdldFJlcGxhY2VtZW50UmVmZXJlbmNlTm9kZSIsImZpcnN0UmVmZXJlbmNlTm9kZSIsImdldEZpcnN0UmVmZXJlbmNlTm9kZSIsInJlcGxhY2VtZW50UmVmZXJlbmNlTm9kZSIsInJ1bGVOYW1lIiwiUkVGRVJFTkNFX1JVTEVfTkFNRSIsImdldExhc3ROb2RlQnlSdWxlTmFtZSIsImdldEZpcnN0Tm9kZUJ5UnVsZU5hbWUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7cUVBSlE7MkJBRU87Ozs7OztBQUVyQixNQUFNQSxrQ0FBa0NDLHFCQUFnQjtJQUNyRUMseUJBQXlCO1FBQ3ZCLE1BQU1DLG9CQUFvQixJQUFJLENBQUNDLG9CQUFvQixJQUM3Q0Msc0JBQXNCRixtQkFBbUIsR0FBRztRQUVsRCxPQUFPRTtJQUNUO0lBRUFDLDhCQUE4QjtRQUM1QixNQUFNQyxxQkFBcUIsSUFBSSxDQUFDQyxxQkFBcUIsSUFDL0NDLDJCQUEyQkYsb0JBQW9CLEdBQUc7UUFFeEQsT0FBT0U7SUFDVDtJQUVBTCx1QkFBdUI7UUFDckIsTUFBTU0sV0FBV0MsOEJBQW1CLEVBQzlCUixvQkFBb0IsSUFBSSxDQUFDUyxxQkFBcUIsQ0FBQ0Y7UUFFckQsT0FBT1A7SUFDVDtJQUVBSyx3QkFBd0I7UUFDdEIsTUFBTUUsV0FBV0MsOEJBQW1CLEVBQzlCSixxQkFBcUIsSUFBSSxDQUFDTSxzQkFBc0IsQ0FBQ0g7UUFFdkQsT0FBT0g7SUFDVDtJQUVBLE9BQU9PLDJDQUEyQ0osUUFBUSxFQUFFSyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT2hCLHFCQUFnQixDQUFDYSwwQ0FBMEMsQ0FBQ2QsMkJBQTJCVSxVQUFVSyxZQUFZQyxTQUFTQztJQUFhO0FBQzNPIn0=

package/lib/node/substitution/statement.js

@@ -1,60 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return StatementSubstitutionNode;
-    }
-});
-const _substitution = /*#__PURE__*/ _interop_require_default(require("../../node/substitution"));
-const _ruleNames = require("../../ruleNames");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-class StatementSubstitutionNode extends _substitution.default {
-    isResolved() {
-        let resolved = true;
-        const substitutionNode = this.getSubstitutionNode();
-        if (substitutionNode !== null) {
-            resolved = false;
-        }
-        return resolved;
-    }
-    getSubstitutionNode() {
-        const targetStatementNode = this.getTargetStatementNode(), substitutionNode = targetStatementNode.getSubstitutionNode();
-        return substitutionNode;
-    }
-    getTermSubstitutionNode() {
-        const targetStatementNode = this.getTargetStatementNode(), termSubstitutionNode = targetStatementNode.getTermSubstitutionNode();
-        return termSubstitutionNode;
-    }
-    getFrameSubstitutionNode() {
-        const targetStatementNode = this.getTargetStatementNode(), frameSubstitutionNode = targetStatementNode.getFrameSubstitutionNode();
-        return frameSubstitutionNode;
-    }
-    getTargetStatementNode() {
-        const lastStatementNode = this.getLastStatementNode(), targetStatementNode = lastStatementNode; ///
-        return targetStatementNode;
-    }
-    getReplacementStatementNode() {
-        const firstStatementNode = this.getFirstStatementNode(), replacementStatementNode = firstStatementNode; ///
-        return replacementStatementNode;
-    }
-    getLastStatementNode() {
-        const ruleName = _ruleNames.STATEMENT_RULE_NAME, lastStatementNode = this.getLastNodeByRuleName(ruleName);
-        return lastStatementNode;
-    }
-    getFirstStatementNode() {
-        const ruleName = _ruleNames.STATEMENT_RULE_NAME, firstStatementNode = this.getFirstNodeByRuleName(ruleName);
-        return firstStatementNode;
-    }
-    static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
-        return _substitution.default.fromRuleNameChildNodesOpacityAndPrecedence(StatementSubstitutionNode, ruleName, childNodes, opacity, precedence);
-    }
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL3N1YnN0aXR1dGlvbi9zdGF0ZW1lbnQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBTdWJzdGl0dXRpb25Ob2RlIGZyb20gXCIuLi8uLi9ub2RlL3N1YnN0aXR1dGlvblwiO1xuXG5pbXBvcnQgeyBTVEFURU1FTlRfUlVMRV9OQU1FIH0gZnJvbSBcIi4uLy4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBTdGF0ZW1lbnRTdWJzdGl0dXRpb25Ob2RlIGV4dGVuZHMgU3Vic3RpdHV0aW9uTm9kZSB7XG4gIGlzUmVzb2x2ZWQoKSB7XG4gICAgbGV0IHJlc29sdmVkID0gdHJ1ZTtcblxuICAgIGNvbnN0IHN1YnN0aXR1dGlvbk5vZGUgPSB0aGlzLmdldFN1YnN0aXR1dGlvbk5vZGUoKTtcblxuICAgIGlmIChzdWJzdGl0dXRpb25Ob2RlICE9PSBudWxsKSB7XG4gICAgICByZXNvbHZlZCA9IGZhbHNlO1xuICAgIH1cblxuICAgIHJldHVybiByZXNvbHZlZDtcbiAgfVxuXG4gIGdldFN1YnN0aXR1dGlvbk5vZGUoKSB7XG4gICAgY29uc3QgdGFyZ2V0U3RhdGVtZW50Tm9kZSA9IHRoaXMuZ2V0VGFyZ2V0U3RhdGVtZW50Tm9kZSgpLFxuICAgICAgc3Vic3RpdHV0aW9uTm9kZSA9IHRhcmdldFN0YXRlbWVudE5vZGUuZ2V0U3Vic3RpdHV0aW9uTm9kZSgpO1xuXG4gICAgcmV0dXJuIHN1YnN0aXR1dGlvbk5vZGU7XG4gIH1cblxuICBnZXRUZXJtU3Vic3RpdHV0aW9uTm9kZSgpIHtcbiAgICBjb25zdCB0YXJnZXRTdGF0ZW1lbnROb2RlID0gdGhpcy5nZXRUYXJnZXRTdGF0ZW1lbnROb2RlKCksXG4gICAgICAgICAgdGVybVN1YnN0aXR1dGlvbk5vZGUgPSB0YXJnZXRTdGF0ZW1lbnROb2RlLmdldFRlcm1TdWJzdGl0dXRpb25Ob2RlKCk7XG5cbiAgICByZXR1cm4gdGVybVN1YnN0aXR1dGlvbk5vZGU7XG4gIH1cblxuICBnZXRGcmFtZVN1YnN0aXR1dGlvbk5vZGUoKSB7XG4gICAgY29uc3QgdGFyZ2V0U3RhdGVtZW50Tm9kZSA9IHRoaXMuZ2V0VGFyZ2V0U3RhdGVtZW50Tm9kZSgpLFxuICAgICAgICAgIGZyYW1lU3Vic3RpdHV0aW9uTm9kZSA9IHRhcmdldFN0YXRlbWVudE5vZGUuZ2V0RnJhbWVTdWJzdGl0dXRpb25Ob2RlKCk7XG5cbiAgICByZXR1cm4gZnJhbWVTdWJzdGl0dXRpb25Ob2RlO1xuICB9XG5cbiAgZ2V0VGFyZ2V0U3RhdGVtZW50Tm9kZSgpIHtcbiAgICBjb25zdCBsYXN0U3RhdGVtZW50Tm9kZSA9IHRoaXMuZ2V0TGFzdFN0YXRlbWVudE5vZGUoKSxcbiAgICAgICAgICB0YXJnZXRTdGF0ZW1lbnROb2RlID0gbGFzdFN0YXRlbWVudE5vZGU7IC8vL1xuXG4gICAgcmV0dXJuIHRhcmdldFN0YXRlbWVudE5vZGU7XG4gIH1cblxuICBnZXRSZXBsYWNlbWVudFN0YXRlbWVudE5vZGUoKSB7XG4gICAgY29uc3QgZmlyc3RTdGF0ZW1lbnROb2RlID0gdGhpcy5nZXRGaXJzdFN0YXRlbWVudE5vZGUoKSxcbiAgICAgICAgICByZXBsYWNlbWVudFN0YXRlbWVudE5vZGUgPSBmaXJzdFN0YXRlbWVudE5vZGU7IC8vL1xuXG4gICAgcmV0dXJuIHJlcGxhY2VtZW50U3RhdGVtZW50Tm9kZTtcbiAgfVxuXG4gIGdldExhc3RTdGF0ZW1lbnROb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gU1RBVEVNRU5UX1JVTEVfTkFNRSxcbiAgICAgICAgICBsYXN0U3RhdGVtZW50Tm9kZSA9IHRoaXMuZ2V0TGFzdE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBsYXN0U3RhdGVtZW50Tm9kZTtcbiAgfVxuXG4gIGdldEZpcnN0U3RhdGVtZW50Tm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFNUQVRFTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICAgZmlyc3RTdGF0ZW1lbnROb2RlID0gdGhpcy5nZXRGaXJzdE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBmaXJzdFN0YXRlbWVudE5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBTdWJzdGl0dXRpb25Ob2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShTdGF0ZW1lbnRTdWJzdGl0dXRpb25Ob2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJTdGF0ZW1lbnRTdWJzdGl0dXRpb25Ob2RlIiwiU3Vic3RpdHV0aW9uTm9kZSIsImlzUmVzb2x2ZWQiLCJyZXNvbHZlZCIsInN1YnN0aXR1dGlvbk5vZGUiLCJnZXRTdWJzdGl0dXRpb25Ob2RlIiwidGFyZ2V0U3RhdGVtZW50Tm9kZSIsImdldFRhcmdldFN0YXRlbWVudE5vZGUiLCJnZXRUZXJtU3Vic3RpdHV0aW9uTm9kZSIsInRlcm1TdWJzdGl0dXRpb25Ob2RlIiwiZ2V0RnJhbWVTdWJzdGl0dXRpb25Ob2RlIiwiZnJhbWVTdWJzdGl0dXRpb25Ob2RlIiwibGFzdFN0YXRlbWVudE5vZGUiLCJnZXRMYXN0U3RhdGVtZW50Tm9kZSIsImdldFJlcGxhY2VtZW50U3RhdGVtZW50Tm9kZSIsImZpcnN0U3RhdGVtZW50Tm9kZSIsImdldEZpcnN0U3RhdGVtZW50Tm9kZSIsInJlcGxhY2VtZW50U3RhdGVtZW50Tm9kZSIsInJ1bGVOYW1lIiwiU1RBVEVNRU5UX1JVTEVfTkFNRSIsImdldExhc3ROb2RlQnlSdWxlTmFtZSIsImdldEZpcnN0Tm9kZUJ5UnVsZU5hbWUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7cUVBSlE7MkJBRU87Ozs7OztBQUVyQixNQUFNQSxrQ0FBa0NDLHFCQUFnQjtJQUNyRUMsYUFBYTtRQUNYLElBQUlDLFdBQVc7UUFFZixNQUFNQyxtQkFBbUIsSUFBSSxDQUFDQyxtQkFBbUI7UUFFakQsSUFBSUQscUJBQXFCLE1BQU07WUFDN0JELFdBQVc7UUFDYjtRQUVBLE9BQU9BO0lBQ1Q7SUFFQUUsc0JBQXNCO1FBQ3BCLE1BQU1DLHNCQUFzQixJQUFJLENBQUNDLHNCQUFzQixJQUNyREgsbUJBQW1CRSxvQkFBb0JELG1CQUFtQjtRQUU1RCxPQUFPRDtJQUNUO0lBRUFJLDBCQUEwQjtRQUN4QixNQUFNRixzQkFBc0IsSUFBSSxDQUFDQyxzQkFBc0IsSUFDakRFLHVCQUF1Qkgsb0JBQW9CRSx1QkFBdUI7UUFFeEUsT0FBT0M7SUFDVDtJQUVBQywyQkFBMkI7UUFDekIsTUFBTUosc0JBQXNCLElBQUksQ0FBQ0Msc0JBQXNCLElBQ2pESSx3QkFBd0JMLG9CQUFvQkksd0JBQXdCO1FBRTFFLE9BQU9DO0lBQ1Q7SUFFQUoseUJBQXlCO1FBQ3ZCLE1BQU1LLG9CQUFvQixJQUFJLENBQUNDLG9CQUFvQixJQUM3Q1Asc0JBQXNCTSxtQkFBbUIsR0FBRztRQUVsRCxPQUFPTjtJQUNUO0lBRUFRLDhCQUE4QjtRQUM1QixNQUFNQyxxQkFBcUIsSUFBSSxDQUFDQyxxQkFBcUIsSUFDL0NDLDJCQUEyQkYsb0JBQW9CLEdBQUc7UUFFeEQsT0FBT0U7SUFDVDtJQUVBSix1QkFBdUI7UUFDckIsTUFBTUssV0FBV0MsOEJBQW1CLEVBQzlCUCxvQkFBb0IsSUFBSSxDQUFDUSxxQkFBcUIsQ0FBQ0Y7UUFFckQsT0FBT047SUFDVDtJQUVBSSx3QkFBd0I7UUFDdEIsTUFBTUUsV0FBV0MsOEJBQW1CLEVBQzlCSixxQkFBcUIsSUFBSSxDQUFDTSxzQkFBc0IsQ0FBQ0g7UUFFdkQsT0FBT0g7SUFDVDtJQUVBLE9BQU9PLDJDQUEyQ0osUUFBUSxFQUFFSyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT3hCLHFCQUFnQixDQUFDcUIsMENBQTBDLENBQUN0QiwyQkFBMkJrQixVQUFVSyxZQUFZQyxTQUFTQztJQUFhO0FBQzNPIn0=

package/lib/node/substitution/term.js

@@ -1,40 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return TermSubstitutionNode;
-    }
-});
-const _substitution = /*#__PURE__*/ _interop_require_default(require("../../node/substitution"));
-const _ruleNames = require("../../ruleNames");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-class TermSubstitutionNode extends _substitution.default {
-    getTargetTermNode() {
-        const lastTermNode = this.getLastTermNode(), targetTermNode = lastTermNode; ///
-        return targetTermNode;
-    }
-    getReplacementTermNode() {
-        const firstTermNode = this.getFirstTermNode(), replacementTermNode = firstTermNode; ///
-        return replacementTermNode;
-    }
-    getLastTermNode() {
-        const ruleName = _ruleNames.TERM_RULE_NAME, lastTermNode = this.getLastNodeByRuleName(ruleName);
-        return lastTermNode;
-    }
-    getFirstTermNode() {
-        const ruleName = _ruleNames.TERM_RULE_NAME, firstTermNode = this.getFirstNodeByRuleName(ruleName);
-        return firstTermNode;
-    }
-    static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
-        return _substitution.default.fromRuleNameChildNodesOpacityAndPrecedence(TermSubstitutionNode, ruleName, childNodes, opacity, precedence);
-    }
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL3N1YnN0aXR1dGlvbi90ZXJtLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgU3Vic3RpdHV0aW9uTm9kZSBmcm9tIFwiLi4vLi4vbm9kZS9zdWJzdGl0dXRpb25cIjtcblxuaW1wb3J0IHsgVEVSTV9SVUxFX05BTUUgfSBmcm9tIFwiLi4vLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFRlcm1TdWJzdGl0dXRpb25Ob2RlIGV4dGVuZHMgU3Vic3RpdHV0aW9uTm9kZSB7XG4gIGdldFRhcmdldFRlcm1Ob2RlKCkge1xuICAgIGNvbnN0IGxhc3RUZXJtTm9kZSA9IHRoaXMuZ2V0TGFzdFRlcm1Ob2RlKCksXG4gICAgICAgICAgdGFyZ2V0VGVybU5vZGUgPSBsYXN0VGVybU5vZGU7IC8vL1xuXG4gICAgcmV0dXJuIHRhcmdldFRlcm1Ob2RlO1xuICB9XG5cbiAgZ2V0UmVwbGFjZW1lbnRUZXJtTm9kZSgpIHtcbiAgICBjb25zdCBmaXJzdFRlcm1Ob2RlID0gdGhpcy5nZXRGaXJzdFRlcm1Ob2RlKCksXG4gICAgICAgICAgcmVwbGFjZW1lbnRUZXJtTm9kZSA9IGZpcnN0VGVybU5vZGU7IC8vL1xuXG4gICAgcmV0dXJuIHJlcGxhY2VtZW50VGVybU5vZGU7XG4gIH1cblxuICBnZXRMYXN0VGVybU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBURVJNX1JVTEVfTkFNRSxcbiAgICAgICAgICBsYXN0VGVybU5vZGUgPSB0aGlzLmdldExhc3ROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gbGFzdFRlcm1Ob2RlO1xuICB9XG5cbiAgZ2V0Rmlyc3RUZXJtTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFRFUk1fUlVMRV9OQU1FLFxuICAgICAgICAgIGZpcnN0VGVybU5vZGUgPSB0aGlzLmdldEZpcnN0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIGZpcnN0VGVybU5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBTdWJzdGl0dXRpb25Ob2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShUZXJtU3Vic3RpdHV0aW9uTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG5cbiJdLCJuYW1lcyI6WyJUZXJtU3Vic3RpdHV0aW9uTm9kZSIsIlN1YnN0aXR1dGlvbk5vZGUiLCJnZXRUYXJnZXRUZXJtTm9kZSIsImxhc3RUZXJtTm9kZSIsImdldExhc3RUZXJtTm9kZSIsInRhcmdldFRlcm1Ob2RlIiwiZ2V0UmVwbGFjZW1lbnRUZXJtTm9kZSIsImZpcnN0VGVybU5vZGUiLCJnZXRGaXJzdFRlcm1Ob2RlIiwicmVwbGFjZW1lbnRUZXJtTm9kZSIsInJ1bGVOYW1lIiwiVEVSTV9SVUxFX05BTUUiLCJnZXRMYXN0Tm9kZUJ5UnVsZU5hbWUiLCJnZXRGaXJzdE5vZGVCeVJ1bGVOYW1lIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7O3FFQUpROzJCQUVFOzs7Ozs7QUFFaEIsTUFBTUEsNkJBQTZCQyxxQkFBZ0I7SUFDaEVDLG9CQUFvQjtRQUNsQixNQUFNQyxlQUFlLElBQUksQ0FBQ0MsZUFBZSxJQUNuQ0MsaUJBQWlCRixjQUFjLEdBQUc7UUFFeEMsT0FBT0U7SUFDVDtJQUVBQyx5QkFBeUI7UUFDdkIsTUFBTUMsZ0JBQWdCLElBQUksQ0FBQ0MsZ0JBQWdCLElBQ3JDQyxzQkFBc0JGLGVBQWUsR0FBRztRQUU5QyxPQUFPRTtJQUNUO0lBRUFMLGtCQUFrQjtRQUNoQixNQUFNTSxXQUFXQyx5QkFBYyxFQUN6QlIsZUFBZSxJQUFJLENBQUNTLHFCQUFxQixDQUFDRjtRQUVoRCxPQUFPUDtJQUNUO0lBRUFLLG1CQUFtQjtRQUNqQixNQUFNRSxXQUFXQyx5QkFBYyxFQUN6QkosZ0JBQWdCLElBQUksQ0FBQ00sc0JBQXNCLENBQUNIO1FBRWxELE9BQU9IO0lBQ1Q7SUFFQSxPQUFPTywyQ0FBMkNKLFFBQVEsRUFBRUssVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9oQixxQkFBZ0IsQ0FBQ2EsMENBQTBDLENBQUNkLHNCQUFzQlUsVUFBVUssWUFBWUMsU0FBU0M7SUFBYTtBQUN0TyJ9

package/lib/node/substitution.js

@@ -1,18 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return SubstitutionNode;
-    }
-});
-const _occamlanguages = require("occam-languages");
-class SubstitutionNode extends _occamlanguages.NonTerminalNode {
-    static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) {
-        return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence);
-    }
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3N1YnN0aXR1dGlvbi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgTm9uVGVybWluYWxOb2RlIH0gZnJvbSBcIm9jY2FtLWxhbmd1YWdlc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBTdWJzdGl0dXRpb25Ob2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShDbGFzcywgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoQ2xhc3MsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlN1YnN0aXR1dGlvbk5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJDbGFzcyIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFJQTs7O2VBQXFCQTs7O2dDQUZXO0FBRWpCLE1BQU1BLHlCQUF5QkMsK0JBQWU7SUFDM0QsT0FBT0MsMkNBQTJDQyxLQUFLLEVBQUVDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9OLCtCQUFlLENBQUNDLDBDQUEwQyxDQUFDQyxPQUFPQyxVQUFVQyxZQUFZQyxTQUFTQztJQUFhO0FBQzdOIn0=

package/lib/node/term.js

@@ -1,60 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return TermNode;
-    }
-});
-const _occamlanguages = require("occam-languages");
-const _ruleNames = require("../ruleNames");
-class TermNode extends _occamlanguages.NonTerminalNode {
-    getVariableIdentifier() {
-        let variableIdentifier = null;
-        const singular = this.isSingular();
-        if (singular) {
-            const variableNode = this.getVariableNode();
-            variableIdentifier = variableNode.getVariableIdentifier();
-        }
-        return variableIdentifier;
-    }
-    isSingular() {
-        let singular = false;
-        const singularVariableNode = this.getSingularVariableNode();
-        if (singularVariableNode !== null) {
-            singular = true;
-        }
-        return singular;
-    }
-    getVariableNode() {
-        const singularVariableNode = this.getSingularVariableNode(), variableNode = singularVariableNode; //
-        return variableNode;
-    }
-    getSingularTermNode() {
-        let singularTermNode = null;
-        const singularArgumentNode = this.getSingularArgumentNode();
-        if (singularArgumentNode !== null) {
-            singularTermNode = singularArgumentNode.getSingularTermNode();
-        }
-        return singularTermNode;
-    }
-    getVariableNodes() {
-        const ruleName = _ruleNames.VARIABLE_RULE_NAME, variableNodes = this.getNodesByRuleName(ruleName);
-        return variableNodes;
-    }
-    getSingularArgumentNode() {
-        const ruleName = _ruleNames.ARGUMENT_RULE_NAME, singularArgumentNode = this.getSingularNodeByRuleName(ruleName);
-        return singularArgumentNode;
-    }
-    getSingularVariableNode() {
-        const ruleName = _ruleNames.VARIABLE_RULE_NAME, singularVariableNode = this.getSingularNodeByRuleName(ruleName);
-        return singularVariableNode;
-    }
-    static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
-        return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(TermNode, ruleName, childNodes, opacity, precedence);
-    }
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Rlcm0uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IE5vblRlcm1pbmFsTm9kZSB9IGZyb20gXCJvY2NhbS1sYW5ndWFnZXNcIjtcblxuaW1wb3J0IHsgQVJHVU1FTlRfUlVMRV9OQU1FLCBWQVJJQUJMRV9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFRlcm1Ob2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0VmFyaWFibGVJZGVudGlmaWVyKCkge1xuICAgIGxldCB2YXJpYWJsZUlkZW50aWZpZXIgPSBudWxsO1xuXG4gICAgY29uc3Qgc2luZ3VsYXIgPSB0aGlzLmlzU2luZ3VsYXIoKTtcblxuICAgIGlmIChzaW5ndWxhcikge1xuICAgICAgY29uc3QgdmFyaWFibGVOb2RlID0gdGhpcy5nZXRWYXJpYWJsZU5vZGUoKTtcblxuICAgICAgdmFyaWFibGVJZGVudGlmaWVyID0gdmFyaWFibGVOb2RlLmdldFZhcmlhYmxlSWRlbnRpZmllcigpO1xuICAgIH1cblxuICAgIHJldHVybiB2YXJpYWJsZUlkZW50aWZpZXI7XG4gIH1cblxuICBpc1Npbmd1bGFyKCkge1xuICAgIGxldCBzaW5ndWxhciA9IGZhbHNlO1xuXG4gICAgY29uc3Qgc2luZ3VsYXJWYXJpYWJsZU5vZGUgPSB0aGlzLmdldFNpbmd1bGFyVmFyaWFibGVOb2RlKCk7XG5cbiAgICBpZiAoc2luZ3VsYXJWYXJpYWJsZU5vZGUgIT09IG51bGwpIHtcbiAgICAgIHNpbmd1bGFyID0gdHJ1ZTtcbiAgICB9XG5cbiAgICByZXR1cm4gc2luZ3VsYXI7XG4gIH1cblxuICBnZXRWYXJpYWJsZU5vZGUoKSB7XG4gICAgY29uc3Qgc2luZ3VsYXJWYXJpYWJsZU5vZGUgPSB0aGlzLmdldFNpbmd1bGFyVmFyaWFibGVOb2RlKCksXG4gICAgICAgICAgdmFyaWFibGVOb2RlID0gc2luZ3VsYXJWYXJpYWJsZU5vZGU7ICAvL1xuXG4gICAgcmV0dXJuIHZhcmlhYmxlTm9kZTtcbiAgfVxuXG4gIGdldFNpbmd1bGFyVGVybU5vZGUoKSB7XG4gICAgbGV0IHNpbmd1bGFyVGVybU5vZGUgPSBudWxsO1xuXG4gICAgY29uc3Qgc2luZ3VsYXJBcmd1bWVudE5vZGUgPSB0aGlzLmdldFNpbmd1bGFyQXJndW1lbnROb2RlKCk7XG5cbiAgICBpZiAoc2luZ3VsYXJBcmd1bWVudE5vZGUgIT09IG51bGwpIHtcbiAgICAgIHNpbmd1bGFyVGVybU5vZGUgPSBzaW5ndWxhckFyZ3VtZW50Tm9kZS5nZXRTaW5ndWxhclRlcm1Ob2RlKCk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHNpbmd1bGFyVGVybU5vZGU7XG4gIH1cblxuICBnZXRWYXJpYWJsZU5vZGVzKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gVkFSSUFCTEVfUlVMRV9OQU1FLFxuICAgICAgICAgIHZhcmlhYmxlTm9kZXMgPSB0aGlzLmdldE5vZGVzQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gdmFyaWFibGVOb2RlcztcbiAgfVxuXG4gIGdldFNpbmd1bGFyQXJndW1lbnROb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gQVJHVU1FTlRfUlVMRV9OQU1FLFxuICAgICAgICAgIHNpbmd1bGFyQXJndW1lbnROb2RlID0gdGhpcy5nZXRTaW5ndWxhck5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBzaW5ndWxhckFyZ3VtZW50Tm9kZTtcbiAgfVxuXG4gIGdldFNpbmd1bGFyVmFyaWFibGVOb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gVkFSSUFCTEVfUlVMRV9OQU1FLFxuICAgICAgICAgIHNpbmd1bGFyVmFyaWFibGVOb2RlID0gdGhpcy5nZXRTaW5ndWxhck5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBzaW5ndWxhclZhcmlhYmxlTm9kZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoVGVybU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlRlcm1Ob2RlIiwiTm9uVGVybWluYWxOb2RlIiwiZ2V0VmFyaWFibGVJZGVudGlmaWVyIiwidmFyaWFibGVJZGVudGlmaWVyIiwic2luZ3VsYXIiLCJpc1Npbmd1bGFyIiwidmFyaWFibGVOb2RlIiwiZ2V0VmFyaWFibGVOb2RlIiwic2luZ3VsYXJWYXJpYWJsZU5vZGUiLCJnZXRTaW5ndWxhclZhcmlhYmxlTm9kZSIsImdldFNpbmd1bGFyVGVybU5vZGUiLCJzaW5ndWxhclRlcm1Ob2RlIiwic2luZ3VsYXJBcmd1bWVudE5vZGUiLCJnZXRTaW5ndWxhckFyZ3VtZW50Tm9kZSIsImdldFZhcmlhYmxlTm9kZXMiLCJydWxlTmFtZSIsIlZBUklBQkxFX1JVTEVfTkFNRSIsInZhcmlhYmxlTm9kZXMiLCJnZXROb2Rlc0J5UnVsZU5hbWUiLCJBUkdVTUVOVF9SVUxFX05BTUUiLCJnZXRTaW5ndWxhck5vZGVCeVJ1bGVOYW1lIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7O2dDQUpXOzJCQUV1QjtBQUV4QyxNQUFNQSxpQkFBaUJDLCtCQUFlO0lBQ25EQyx3QkFBd0I7UUFDdEIsSUFBSUMscUJBQXFCO1FBRXpCLE1BQU1DLFdBQVcsSUFBSSxDQUFDQyxVQUFVO1FBRWhDLElBQUlELFVBQVU7WUFDWixNQUFNRSxlQUFlLElBQUksQ0FBQ0MsZUFBZTtZQUV6Q0oscUJBQXFCRyxhQUFhSixxQkFBcUI7UUFDekQ7UUFFQSxPQUFPQztJQUNUO0lBRUFFLGFBQWE7UUFDWCxJQUFJRCxXQUFXO1FBRWYsTUFBTUksdUJBQXVCLElBQUksQ0FBQ0MsdUJBQXVCO1FBRXpELElBQUlELHlCQUF5QixNQUFNO1lBQ2pDSixXQUFXO1FBQ2I7UUFFQSxPQUFPQTtJQUNUO0lBRUFHLGtCQUFrQjtRQUNoQixNQUFNQyx1QkFBdUIsSUFBSSxDQUFDQyx1QkFBdUIsSUFDbkRILGVBQWVFLHNCQUF1QixFQUFFO1FBRTlDLE9BQU9GO0lBQ1Q7SUFFQUksc0JBQXNCO1FBQ3BCLElBQUlDLG1CQUFtQjtRQUV2QixNQUFNQyx1QkFBdUIsSUFBSSxDQUFDQyx1QkFBdUI7UUFFekQsSUFBSUQseUJBQXlCLE1BQU07WUFDakNELG1CQUFtQkMscUJBQXFCRixtQkFBbUI7UUFDN0Q7UUFFQSxPQUFPQztJQUNUO0lBRUFHLG1CQUFtQjtRQUNqQixNQUFNQyxXQUFXQyw2QkFBa0IsRUFDN0JDLGdCQUFnQixJQUFJLENBQUNDLGtCQUFrQixDQUFDSDtRQUU5QyxPQUFPRTtJQUNUO0lBRUFKLDBCQUEwQjtRQUN4QixNQUFNRSxXQUFXSSw2QkFBa0IsRUFDN0JQLHVCQUF1QixJQUFJLENBQUNRLHlCQUF5QixDQUFDTDtRQUU1RCxPQUFPSDtJQUNUO0lBRUFILDBCQUEwQjtRQUN4QixNQUFNTSxXQUFXQyw2QkFBa0IsRUFDN0JSLHVCQUF1QixJQUFJLENBQUNZLHlCQUF5QixDQUFDTDtRQUU1RCxPQUFPUDtJQUNUO0lBRUEsT0FBT2EsMkNBQTJDTixRQUFRLEVBQUVPLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPdkIsK0JBQWUsQ0FBQ29CLDBDQUEwQyxDQUFDckIsVUFBVWUsVUFBVU8sWUFBWUMsU0FBU0M7SUFBYTtBQUN6TiJ9

package/lib/node/topLevelAssertion/axiom.js

@@ -1,26 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return AxiomNode;
-    }
-});
-const _topLevelAssertion = /*#__PURE__*/ _interop_require_default(require("../../node/topLevelAssertion"));
-const _ruleNames = require("../../ruleNames");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-class AxiomNode extends _topLevelAssertion.default {
-    static bodyRuleName = _ruleNames.AXIOM_BODY_RULE_NAME;
-    static headerRuleName = _ruleNames.AXIOM_HEADER_RULE_NAME;
-    static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
-        return _topLevelAssertion.default.fromRuleNameChildNodesOpacityAndPrecedence(AxiomNode, ruleName, childNodes, opacity, precedence);
-    }
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL3RvcExldmVsQXNzZXJ0aW9uL2F4aW9tLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgVG9wTGV2ZWxBc3NlcnRpb25Ob2RlIGZyb20gXCIuLi8uLi9ub2RlL3RvcExldmVsQXNzZXJ0aW9uXCI7XG5cbmltcG9ydCB7IEFYSU9NX0JPRFlfUlVMRV9OQU1FLCBBWElPTV9IRUFERVJfUlVMRV9OQU1FIH0gZnJvbSBcIi4uLy4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBBeGlvbU5vZGUgZXh0ZW5kcyBUb3BMZXZlbEFzc2VydGlvbk5vZGUge1xuICBzdGF0aWMgYm9keVJ1bGVOYW1lID0gQVhJT01fQk9EWV9SVUxFX05BTUU7XG5cbiAgc3RhdGljIGhlYWRlclJ1bGVOYW1lID0gQVhJT01fSEVBREVSX1JVTEVfTkFNRTtcblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBUb3BMZXZlbEFzc2VydGlvbk5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKEF4aW9tTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiQXhpb21Ob2RlIiwiVG9wTGV2ZWxBc3NlcnRpb25Ob2RlIiwiYm9keVJ1bGVOYW1lIiwiQVhJT01fQk9EWV9SVUxFX05BTUUiLCJoZWFkZXJSdWxlTmFtZSIsIkFYSU9NX0hFQURFUl9SVUxFX05BTUUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBTUE7OztlQUFxQkE7OzswRUFKYTsyQkFFMkI7Ozs7OztBQUU5QyxNQUFNQSxrQkFBa0JDLDBCQUFxQjtJQUMxRCxPQUFPQyxlQUFlQywrQkFBb0IsQ0FBQztJQUUzQyxPQUFPQyxpQkFBaUJDLGlDQUFzQixDQUFDO0lBRS9DLE9BQU9DLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT1QsMEJBQXFCLENBQUNLLDBDQUEwQyxDQUFDTixXQUFXTyxVQUFVQyxZQUFZQyxTQUFTQztJQUFhO0FBQ2hPIn0=

package/lib/node/topLevelAssertion/conjecture.js

@@ -1,26 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return ConjectureNode;
-    }
-});
-const _topLevelAssertion = /*#__PURE__*/ _interop_require_default(require("../../node/topLevelAssertion"));
-const _ruleNames = require("../../ruleNames");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-class ConjectureNode extends _topLevelAssertion.default {
-    static bodyRuleName = _ruleNames.CONJECTURE_BODY_RULE_NAME;
-    static headerRuleName = _ruleNames.CONJECTURE_HEADER_RULE_NAME;
-    static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
-        return _topLevelAssertion.default.fromRuleNameChildNodesOpacityAndPrecedence(ConjectureNode, ruleName, childNodes, opacity, precedence);
-    }
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL3RvcExldmVsQXNzZXJ0aW9uL2NvbmplY3R1cmUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBUb3BMZXZlbEFzc2VydGlvbk5vZGUgZnJvbSBcIi4uLy4uL25vZGUvdG9wTGV2ZWxBc3NlcnRpb25cIjtcblxuaW1wb3J0IHsgQ09OSkVDVFVSRV9CT0RZX1JVTEVfTkFNRSwgQ09OSkVDVFVSRV9IRUFERVJfUlVMRV9OQU1FIH0gZnJvbSBcIi4uLy4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBDb25qZWN0dXJlTm9kZSBleHRlbmRzIFRvcExldmVsQXNzZXJ0aW9uTm9kZSB7XG4gIHN0YXRpYyBib2R5UnVsZU5hbWUgPSBDT05KRUNUVVJFX0JPRFlfUlVMRV9OQU1FO1xuXG4gIHN0YXRpYyBoZWFkZXJSdWxlTmFtZSA9IENPTkpFQ1RVUkVfSEVBREVSX1JVTEVfTkFNRTtcblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBUb3BMZXZlbEFzc2VydGlvbk5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKENvbmplY3R1cmVOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJDb25qZWN0dXJlTm9kZSIsIlRvcExldmVsQXNzZXJ0aW9uTm9kZSIsImJvZHlSdWxlTmFtZSIsIkNPTkpFQ1RVUkVfQk9EWV9SVUxFX05BTUUiLCJoZWFkZXJSdWxlTmFtZSIsIkNPTkpFQ1RVUkVfSEVBREVSX1JVTEVfTkFNRSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7OzBFQUphOzJCQUVxQzs7Ozs7O0FBRXhELE1BQU1BLHVCQUF1QkMsMEJBQXFCO0lBQy9ELE9BQU9DLGVBQWVDLG9DQUF5QixDQUFDO0lBRWhELE9BQU9DLGlCQUFpQkMsc0NBQTJCLENBQUM7SUFFcEQsT0FBT0MsMkNBQTJDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPVCwwQkFBcUIsQ0FBQ0ssMENBQTBDLENBQUNOLGdCQUFnQk8sVUFBVUMsWUFBWUMsU0FBU0M7SUFBYTtBQUNyTyJ9

package/lib/node/topLevelAssertion/lemma.js

@@ -1,26 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return LemmaNode;
-    }
-});
-const _topLevelAssertion = /*#__PURE__*/ _interop_require_default(require("../../node/topLevelAssertion"));
-const _ruleNames = require("../../ruleNames");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-class LemmaNode extends _topLevelAssertion.default {
-    static bodyRuleName = _ruleNames.LEMMA_BODY_RULE_NAME;
-    static headerRuleName = _ruleNames.LEMMA_HEADER_RULE_NAME;
-    static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
-        return _topLevelAssertion.default.fromRuleNameChildNodesOpacityAndPrecedence(LemmaNode, ruleName, childNodes, opacity, precedence);
-    }
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL3RvcExldmVsQXNzZXJ0aW9uL2xlbW1hLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgVG9wTGV2ZWxBc3NlcnRpb25Ob2RlIGZyb20gXCIuLi8uLi9ub2RlL3RvcExldmVsQXNzZXJ0aW9uXCI7XG5cbmltcG9ydCB7IExFTU1BX0JPRFlfUlVMRV9OQU1FLCBMRU1NQV9IRUFERVJfUlVMRV9OQU1FIH0gZnJvbSBcIi4uLy4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBMZW1tYU5vZGUgZXh0ZW5kcyBUb3BMZXZlbEFzc2VydGlvbk5vZGUge1xuICBzdGF0aWMgYm9keVJ1bGVOYW1lID0gTEVNTUFfQk9EWV9SVUxFX05BTUU7XG5cbiAgc3RhdGljIGhlYWRlclJ1bGVOYW1lID0gTEVNTUFfSEVBREVSX1JVTEVfTkFNRTtcblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBUb3BMZXZlbEFzc2VydGlvbk5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKExlbW1hTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiTGVtbWFOb2RlIiwiVG9wTGV2ZWxBc3NlcnRpb25Ob2RlIiwiYm9keVJ1bGVOYW1lIiwiTEVNTUFfQk9EWV9SVUxFX05BTUUiLCJoZWFkZXJSdWxlTmFtZSIsIkxFTU1BX0hFQURFUl9SVUxFX05BTUUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBTUE7OztlQUFxQkE7OzswRUFKYTsyQkFFMkI7Ozs7OztBQUU5QyxNQUFNQSxrQkFBa0JDLDBCQUFxQjtJQUMxRCxPQUFPQyxlQUFlQywrQkFBb0IsQ0FBQztJQUUzQyxPQUFPQyxpQkFBaUJDLGlDQUFzQixDQUFDO0lBRS9DLE9BQU9DLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT1QsMEJBQXFCLENBQUNLLDBDQUEwQyxDQUFDTixXQUFXTyxVQUFVQyxZQUFZQyxTQUFTQztJQUFhO0FBQ2hPIn0=

package/lib/node/topLevelAssertion/theorem.js

@@ -1,26 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return TheoremNode;
-    }
-});
-const _topLevelAssertion = /*#__PURE__*/ _interop_require_default(require("../../node/topLevelAssertion"));
-const _ruleNames = require("../../ruleNames");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-class TheoremNode extends _topLevelAssertion.default {
-    static bodyRuleName = _ruleNames.THEOREM_BODY_RULE_NAME;
-    static headerRuleName = _ruleNames.THEOREM_HEADER_RULE_NAME;
-    static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
-        return _topLevelAssertion.default.fromRuleNameChildNodesOpacityAndPrecedence(TheoremNode, ruleName, childNodes, opacity, precedence);
-    }
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL3RvcExldmVsQXNzZXJ0aW9uL3RoZW9yZW0uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBUb3BMZXZlbEFzc2VydGlvbk5vZGUgZnJvbSBcIi4uLy4uL25vZGUvdG9wTGV2ZWxBc3NlcnRpb25cIjtcblxuaW1wb3J0IHsgVEhFT1JFTV9CT0RZX1JVTEVfTkFNRSwgVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FIH0gZnJvbSBcIi4uLy4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBUaGVvcmVtTm9kZSBleHRlbmRzIFRvcExldmVsQXNzZXJ0aW9uTm9kZSB7XG4gIHN0YXRpYyBib2R5UnVsZU5hbWUgPSBUSEVPUkVNX0JPRFlfUlVMRV9OQU1FO1xuXG4gIHN0YXRpYyBoZWFkZXJSdWxlTmFtZSA9IFRIRU9SRU1fSEVBREVSX1JVTEVfTkFNRTtcblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBUb3BMZXZlbEFzc2VydGlvbk5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFRoZW9yZW1Ob2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJUaGVvcmVtTm9kZSIsIlRvcExldmVsQXNzZXJ0aW9uTm9kZSIsImJvZHlSdWxlTmFtZSIsIlRIRU9SRU1fQk9EWV9SVUxFX05BTUUiLCJoZWFkZXJSdWxlTmFtZSIsIlRIRU9SRU1fSEVBREVSX1JVTEVfTkFNRSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7OzBFQUphOzJCQUUrQjs7Ozs7O0FBRWxELE1BQU1BLG9CQUFvQkMsMEJBQXFCO0lBQzVELE9BQU9DLGVBQWVDLGlDQUFzQixDQUFDO0lBRTdDLE9BQU9DLGlCQUFpQkMsbUNBQXdCLENBQUM7SUFFakQsT0FBT0MsMkNBQTJDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPVCwwQkFBcUIsQ0FBQ0ssMENBQTBDLENBQUNOLGFBQWFPLFVBQVVDLFlBQVlDLFNBQVNDO0lBQWE7QUFDbE8ifQ==

package/lib/node/topLevelAssertion.js

@@ -1,46 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return TopLevelAssertionNode;
-    }
-});
-const _occamlanguages = require("occam-languages");
-class TopLevelAssertionNode extends _occamlanguages.NonTerminalNode {
-    getBodyNode() {
-        const { bodyRuleName } = this.constructor, ruleName = bodyRuleName, axiomBodyNode = this.getNodeByRuleName(ruleName);
-        return axiomBodyNode;
-    }
-    getHeaderNode() {
-        const { headerRuleName } = this.constructor, ruleName = headerRuleName, headerNode = this.getNodeByRuleName(ruleName);
-        return headerNode;
-    }
-    getSignatureNode() {
-        const headerNode = this.getHeaderNode(), signatureNode = headerNode.getSignatureNode();
-        return signatureNode;
-    }
-    getLabelNodes() {
-        const headerNode = this.getHeaderNode(), labelNodes = headerNode.getLabelNodes();
-        return labelNodes;
-    }
-    getProofNode() {
-        const bodyNode = this.getBodyNode(), proofNode = bodyNode.getProofNode();
-        return proofNode;
-    }
-    getDeductionNode() {
-        const bodyNode = this.getBodyNode(), deductionNode = bodyNode.getDeductionNode();
-        return deductionNode;
-    }
-    getSuppositionNodes() {
-        const bodyNode = this.getBodyNode(), suppositionNodes = bodyNode.getSuppositionNodes();
-        return suppositionNodes;
-    }
-    static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) {
-        return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence);
-    }
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3RvcExldmVsQXNzZXJ0aW9uLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBOb25UZXJtaW5hbE5vZGUgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFRvcExldmVsQXNzZXJ0aW9uTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldEJvZHlOb2RlKCkge1xuICAgIGNvbnN0IHsgYm9keVJ1bGVOYW1lIH0gPSB0aGlzLmNvbnN0cnVjdG9yLFxuICAgICAgICAgIHJ1bGVOYW1lID0gYm9keVJ1bGVOYW1lLCAgLy8vXG4gICAgICAgICAgYXhpb21Cb2R5Tm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIGF4aW9tQm9keU5vZGU7XG4gIH1cblxuICBnZXRIZWFkZXJOb2RlKCkge1xuICAgIGNvbnN0IHsgaGVhZGVyUnVsZU5hbWUgfSA9IHRoaXMuY29uc3RydWN0b3IsXG4gICAgICAgICAgcnVsZU5hbWUgPSBoZWFkZXJSdWxlTmFtZSwgIC8vL1xuICAgICAgICAgIGhlYWRlck5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBoZWFkZXJOb2RlO1xuICB9XG5cbiAgZ2V0U2lnbmF0dXJlTm9kZSgpIHtcbiAgICBjb25zdCBoZWFkZXJOb2RlID0gdGhpcy5nZXRIZWFkZXJOb2RlKCksXG4gICAgICAgICAgc2lnbmF0dXJlTm9kZSA9IGhlYWRlck5vZGUuZ2V0U2lnbmF0dXJlTm9kZSgpO1xuXG4gICAgcmV0dXJuIHNpZ25hdHVyZU5vZGU7XG4gIH1cblxuICBnZXRMYWJlbE5vZGVzKCkge1xuICAgIGNvbnN0IGhlYWRlck5vZGUgPSB0aGlzLmdldEhlYWRlck5vZGUoKSxcbiAgICAgICAgICBsYWJlbE5vZGVzID0gaGVhZGVyTm9kZS5nZXRMYWJlbE5vZGVzKCk7XG5cbiAgICByZXR1cm4gbGFiZWxOb2RlcztcbiAgfVxuXG4gIGdldFByb29mTm9kZSgpIHtcbiAgICBjb25zdCBib2R5Tm9kZSA9IHRoaXMuZ2V0Qm9keU5vZGUoKSxcbiAgICAgICAgICBwcm9vZk5vZGUgPSBib2R5Tm9kZS5nZXRQcm9vZk5vZGUoKTtcblxuICAgIHJldHVybiBwcm9vZk5vZGU7XG4gIH1cblxuICBnZXREZWR1Y3Rpb25Ob2RlKCkge1xuICAgIGNvbnN0IGJvZHlOb2RlID0gdGhpcy5nZXRCb2R5Tm9kZSgpLFxuICAgICAgICAgIGRlZHVjdGlvbk5vZGUgPSBib2R5Tm9kZS5nZXREZWR1Y3Rpb25Ob2RlKCk7XG5cbiAgICByZXR1cm4gZGVkdWN0aW9uTm9kZTtcbiAgfVxuXG4gIGdldFN1cHBvc2l0aW9uTm9kZXMoKSB7XG4gICAgY29uc3QgYm9keU5vZGUgPSB0aGlzLmdldEJvZHlOb2RlKCksXG4gICAgICAgICAgc3VwcG9zaXRpb25Ob2RlcyA9IGJvZHlOb2RlLmdldFN1cHBvc2l0aW9uTm9kZXMoKTtcblxuICAgIHJldHVybiBzdXBwb3NpdGlvbk5vZGVzO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShDbGFzcywgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoQ2xhc3MsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlRvcExldmVsQXNzZXJ0aW9uTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldEJvZHlOb2RlIiwiYm9keVJ1bGVOYW1lIiwicnVsZU5hbWUiLCJheGlvbUJvZHlOb2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJnZXRIZWFkZXJOb2RlIiwiaGVhZGVyUnVsZU5hbWUiLCJoZWFkZXJOb2RlIiwiZ2V0U2lnbmF0dXJlTm9kZSIsInNpZ25hdHVyZU5vZGUiLCJnZXRMYWJlbE5vZGVzIiwibGFiZWxOb2RlcyIsImdldFByb29mTm9kZSIsImJvZHlOb2RlIiwicHJvb2ZOb2RlIiwiZ2V0RGVkdWN0aW9uTm9kZSIsImRlZHVjdGlvbk5vZGUiLCJnZXRTdXBwb3NpdGlvbk5vZGVzIiwic3VwcG9zaXRpb25Ob2RlcyIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsIkNsYXNzIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFJQTs7O2VBQXFCQTs7O2dDQUZXO0FBRWpCLE1BQU1BLDhCQUE4QkMsK0JBQWU7SUFDaEVDLGNBQWM7UUFDWixNQUFNLEVBQUVDLFlBQVksRUFBRSxHQUFHLElBQUksQ0FBQyxXQUFXLEVBQ25DQyxXQUFXRCxjQUNYRSxnQkFBZ0IsSUFBSSxDQUFDQyxpQkFBaUIsQ0FBQ0Y7UUFFN0MsT0FBT0M7SUFDVDtJQUVBRSxnQkFBZ0I7UUFDZCxNQUFNLEVBQUVDLGNBQWMsRUFBRSxHQUFHLElBQUksQ0FBQyxXQUFXLEVBQ3JDSixXQUFXSSxnQkFDWEMsYUFBYSxJQUFJLENBQUNILGlCQUFpQixDQUFDRjtRQUUxQyxPQUFPSztJQUNUO0lBRUFDLG1CQUFtQjtRQUNqQixNQUFNRCxhQUFhLElBQUksQ0FBQ0YsYUFBYSxJQUMvQkksZ0JBQWdCRixXQUFXQyxnQkFBZ0I7UUFFakQsT0FBT0M7SUFDVDtJQUVBQyxnQkFBZ0I7UUFDZCxNQUFNSCxhQUFhLElBQUksQ0FBQ0YsYUFBYSxJQUMvQk0sYUFBYUosV0FBV0csYUFBYTtRQUUzQyxPQUFPQztJQUNUO0lBRUFDLGVBQWU7UUFDYixNQUFNQyxXQUFXLElBQUksQ0FBQ2IsV0FBVyxJQUMzQmMsWUFBWUQsU0FBU0QsWUFBWTtRQUV2QyxPQUFPRTtJQUNUO0lBRUFDLG1CQUFtQjtRQUNqQixNQUFNRixXQUFXLElBQUksQ0FBQ2IsV0FBVyxJQUMzQmdCLGdCQUFnQkgsU0FBU0UsZ0JBQWdCO1FBRS9DLE9BQU9DO0lBQ1Q7SUFFQUMsc0JBQXNCO1FBQ3BCLE1BQU1KLFdBQVcsSUFBSSxDQUFDYixXQUFXLElBQzNCa0IsbUJBQW1CTCxTQUFTSSxtQkFBbUI7UUFFckQsT0FBT0M7SUFDVDtJQUVBLE9BQU9DLDJDQUEyQ0MsS0FBSyxFQUFFbEIsUUFBUSxFQUFFbUIsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU94QiwrQkFBZSxDQUFDb0IsMENBQTBDLENBQUNDLE9BQU9sQixVQUFVbUIsWUFBWUMsU0FBU0M7SUFBYTtBQUM3TiJ9

package/lib/node/topLevelMetaAssertion/metaLemma.js

@@ -1,26 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return MetaLemmaNode;
-    }
-});
-const _topLevelMetaAssertion = /*#__PURE__*/ _interop_require_default(require("../../node/topLevelMetaAssertion"));
-const _ruleNames = require("../../ruleNames");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-class MetaLemmaNode extends _topLevelMetaAssertion.default {
-    static bodyRuleName = _ruleNames.META_LEMMA_BODY_RULE_NAME;
-    static headerRuleName = _ruleNames.META_LEMMA_HEADER_RULE_NAME;
-    static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
-        return _topLevelMetaAssertion.default.fromRuleNameChildNodesOpacityAndPrecedence(MetaLemmaNode, ruleName, childNodes, opacity, precedence);
-    }
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL3RvcExldmVsTWV0YUFzc2VydGlvbi9tZXRhTGVtbWEuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBUb3BMZXZlbE1ldGFBc3NlcnRpb25Ob2RlIGZyb20gXCIuLi8uLi9ub2RlL3RvcExldmVsTWV0YUFzc2VydGlvblwiO1xuXG5pbXBvcnQgeyBNRVRBX0xFTU1BX0JPRFlfUlVMRV9OQU1FLCBNRVRBX0xFTU1BX0hFQURFUl9SVUxFX05BTUUgfSBmcm9tIFwiLi4vLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIE1ldGFMZW1tYU5vZGUgZXh0ZW5kcyBUb3BMZXZlbE1ldGFBc3NlcnRpb25Ob2RlIHtcbiAgc3RhdGljIGJvZHlSdWxlTmFtZSA9IE1FVEFfTEVNTUFfQk9EWV9SVUxFX05BTUU7XG5cbiAgc3RhdGljIGhlYWRlclJ1bGVOYW1lID0gTUVUQV9MRU1NQV9IRUFERVJfUlVMRV9OQU1FO1xuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIFRvcExldmVsTWV0YUFzc2VydGlvbk5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKE1ldGFMZW1tYU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIk1ldGFMZW1tYU5vZGUiLCJUb3BMZXZlbE1ldGFBc3NlcnRpb25Ob2RlIiwiYm9keVJ1bGVOYW1lIiwiTUVUQV9MRU1NQV9CT0RZX1JVTEVfTkFNRSIsImhlYWRlclJ1bGVOYW1lIiwiTUVUQV9MRU1NQV9IRUFERVJfUlVMRV9OQU1FIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7OEVBSmlCOzJCQUVpQzs7Ozs7O0FBRXhELE1BQU1BLHNCQUFzQkMsOEJBQXlCO0lBQ2xFLE9BQU9DLGVBQWVDLG9DQUF5QixDQUFDO0lBRWhELE9BQU9DLGlCQUFpQkMsc0NBQTJCLENBQUM7SUFFcEQsT0FBT0MsMkNBQTJDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPVCw4QkFBeUIsQ0FBQ0ssMENBQTBDLENBQUNOLGVBQWVPLFVBQVVDLFlBQVlDLFNBQVNDO0lBQWE7QUFDeE8ifQ==

package/lib/node/topLevelMetaAssertion/metatheorem.js

@@ -1,26 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return MetatheoremNode;
-    }
-});
-const _topLevelMetaAssertion = /*#__PURE__*/ _interop_require_default(require("../../node/topLevelMetaAssertion"));
-const _ruleNames = require("../../ruleNames");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-class MetatheoremNode extends _topLevelMetaAssertion.default {
-    static bodyRuleName = _ruleNames.METATHEOREM_BODY_RULE_NAME;
-    static headerRuleName = _ruleNames.METATHEOREM_HEADER_RULE_NAME;
-    static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
-        return _topLevelMetaAssertion.default.fromRuleNameChildNodesOpacityAndPrecedence(MetatheoremNode, ruleName, childNodes, opacity, precedence);
-    }
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL3RvcExldmVsTWV0YUFzc2VydGlvbi9tZXRhdGhlb3JlbS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IFRvcExldmVsTWV0YUFzc2VydGlvbk5vZGUgZnJvbSBcIi4uLy4uL25vZGUvdG9wTGV2ZWxNZXRhQXNzZXJ0aW9uXCI7XG5cbmltcG9ydCB7IE1FVEFUSEVPUkVNX0JPRFlfUlVMRV9OQU1FLCBNRVRBVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FIH0gZnJvbSBcIi4uLy4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBNZXRhdGhlb3JlbU5vZGUgZXh0ZW5kcyBUb3BMZXZlbE1ldGFBc3NlcnRpb25Ob2RlIHtcbiAgc3RhdGljIGJvZHlSdWxlTmFtZSA9IE1FVEFUSEVPUkVNX0JPRFlfUlVMRV9OQU1FO1xuXG4gIHN0YXRpYyBoZWFkZXJSdWxlTmFtZSA9IE1FVEFUSEVPUkVNX0hFQURFUl9SVUxFX05BTUU7XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gVG9wTGV2ZWxNZXRhQXNzZXJ0aW9uTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoTWV0YXRoZW9yZW1Ob2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJNZXRhdGhlb3JlbU5vZGUiLCJUb3BMZXZlbE1ldGFBc3NlcnRpb25Ob2RlIiwiYm9keVJ1bGVOYW1lIiwiTUVUQVRIRU9SRU1fQk9EWV9SVUxFX05BTUUiLCJoZWFkZXJSdWxlTmFtZSIsIk1FVEFUSEVPUkVNX0hFQURFUl9SVUxFX05BTUUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBTUE7OztlQUFxQkE7Ozs4RUFKaUI7MkJBRW1DOzs7Ozs7QUFFMUQsTUFBTUEsd0JBQXdCQyw4QkFBeUI7SUFDcEUsT0FBT0MsZUFBZUMscUNBQTBCLENBQUM7SUFFakQsT0FBT0MsaUJBQWlCQyx1Q0FBNEIsQ0FBQztJQUVyRCxPQUFPQywyQ0FBMkNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9ULDhCQUF5QixDQUFDSywwQ0FBMEMsQ0FBQ04saUJBQWlCTyxVQUFVQyxZQUFZQyxTQUFTQztJQUFhO0FBQzFPIn0=

package/lib/node/topLevelMetaAssertion.js

@@ -1,42 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return TopLevelMetaAssertionNode;
-    }
-});
-const _occamlanguages = require("occam-languages");
-class TopLevelMetaAssertionNode extends _occamlanguages.NonTerminalNode {
-    getBodyNode() {
-        const { bodyRuleName } = this.constructor, ruleName = bodyRuleName, axiomBodyNode = this.getNodeByRuleName(ruleName);
-        return axiomBodyNode;
-    }
-    getLabelNode() {
-        const headerNode = this.getHeaderNode(), labelNode = headerNode.getLabelNode();
-        return labelNode;
-    }
-    getProofNode() {
-        const bodyNode = this.getBodyNode(), proofNode = bodyNode.getProofNode();
-        return proofNode;
-    }
-    getHeaderNode() {
-        const { headerRuleName } = this.constructor, ruleName = headerRuleName, headerNode = this.getNodeByRuleName(ruleName);
-        return headerNode;
-    }
-    getDeductionNode() {
-        const bodyNode = this.getBodyNode(), deductionNode = bodyNode.getDeductionNode();
-        return deductionNode;
-    }
-    getSuppositionNodes() {
-        const bodyNode = this.getBodyNode(), suppositionNodes = bodyNode.getSuppositionNodes();
-        return suppositionNodes;
-    }
-    static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) {
-        return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence);
-    }
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3RvcExldmVsTWV0YUFzc2VydGlvbi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgTm9uVGVybWluYWxOb2RlIH0gZnJvbSBcIm9jY2FtLWxhbmd1YWdlc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBUb3BMZXZlbE1ldGFBc3NlcnRpb25Ob2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0Qm9keU5vZGUoKSB7XG4gICAgY29uc3QgeyBib2R5UnVsZU5hbWUgfSA9IHRoaXMuY29uc3RydWN0b3IsXG4gICAgICAgICAgcnVsZU5hbWUgPSBib2R5UnVsZU5hbWUsICAvLy9cbiAgICAgICAgICBheGlvbUJvZHlOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gYXhpb21Cb2R5Tm9kZTtcbiAgfVxuXG4gIGdldExhYmVsTm9kZSgpIHtcbiAgICBjb25zdCBoZWFkZXJOb2RlID0gdGhpcy5nZXRIZWFkZXJOb2RlKCksXG4gICAgICAgICAgbGFiZWxOb2RlID0gaGVhZGVyTm9kZS5nZXRMYWJlbE5vZGUoKTtcblxuICAgIHJldHVybiBsYWJlbE5vZGU7XG4gIH1cblxuICBnZXRQcm9vZk5vZGUoKSB7XG4gICAgY29uc3QgYm9keU5vZGUgPSB0aGlzLmdldEJvZHlOb2RlKCksXG4gICAgICAgICAgcHJvb2ZOb2RlID0gYm9keU5vZGUuZ2V0UHJvb2ZOb2RlKCk7XG5cbiAgICByZXR1cm4gcHJvb2ZOb2RlO1xuICB9XG5cbiAgZ2V0SGVhZGVyTm9kZSgpIHtcbiAgICBjb25zdCB7IGhlYWRlclJ1bGVOYW1lIH0gPSB0aGlzLmNvbnN0cnVjdG9yLFxuICAgICAgICAgIHJ1bGVOYW1lID0gaGVhZGVyUnVsZU5hbWUsICAvLy9cbiAgICAgICAgICBoZWFkZXJOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gaGVhZGVyTm9kZTtcbiAgfVxuXG4gIGdldERlZHVjdGlvbk5vZGUoKSB7XG4gICAgY29uc3QgYm9keU5vZGUgPSB0aGlzLmdldEJvZHlOb2RlKCksXG4gICAgICAgICAgZGVkdWN0aW9uTm9kZSA9IGJvZHlOb2RlLmdldERlZHVjdGlvbk5vZGUoKTtcblxuICAgIHJldHVybiBkZWR1Y3Rpb25Ob2RlO1xuICB9XG5cbiAgZ2V0U3VwcG9zaXRpb25Ob2RlcygpIHtcbiAgICBjb25zdCBib2R5Tm9kZSA9IHRoaXMuZ2V0Qm9keU5vZGUoKSxcbiAgICAgICAgICBzdXBwb3NpdGlvbk5vZGVzID0gYm9keU5vZGUuZ2V0U3VwcG9zaXRpb25Ob2RlcygpO1xuXG4gICAgcmV0dXJuIHN1cHBvc2l0aW9uTm9kZXM7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKENsYXNzLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShDbGFzcywgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiVG9wTGV2ZWxNZXRhQXNzZXJ0aW9uTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldEJvZHlOb2RlIiwiYm9keVJ1bGVOYW1lIiwicnVsZU5hbWUiLCJheGlvbUJvZHlOb2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJnZXRMYWJlbE5vZGUiLCJoZWFkZXJOb2RlIiwiZ2V0SGVhZGVyTm9kZSIsImxhYmVsTm9kZSIsImdldFByb29mTm9kZSIsImJvZHlOb2RlIiwicHJvb2ZOb2RlIiwiaGVhZGVyUnVsZU5hbWUiLCJnZXREZWR1Y3Rpb25Ob2RlIiwiZGVkdWN0aW9uTm9kZSIsImdldFN1cHBvc2l0aW9uTm9kZXMiLCJzdXBwb3NpdGlvbk5vZGVzIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiQ2xhc3MiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUlBOzs7ZUFBcUJBOzs7Z0NBRlc7QUFFakIsTUFBTUEsa0NBQWtDQywrQkFBZTtJQUNwRUMsY0FBYztRQUNaLE1BQU0sRUFBRUMsWUFBWSxFQUFFLEdBQUcsSUFBSSxDQUFDLFdBQVcsRUFDbkNDLFdBQVdELGNBQ1hFLGdCQUFnQixJQUFJLENBQUNDLGlCQUFpQixDQUFDRjtRQUU3QyxPQUFPQztJQUNUO0lBRUFFLGVBQWU7UUFDYixNQUFNQyxhQUFhLElBQUksQ0FBQ0MsYUFBYSxJQUMvQkMsWUFBWUYsV0FBV0QsWUFBWTtRQUV6QyxPQUFPRztJQUNUO0lBRUFDLGVBQWU7UUFDYixNQUFNQyxXQUFXLElBQUksQ0FBQ1YsV0FBVyxJQUMzQlcsWUFBWUQsU0FBU0QsWUFBWTtRQUV2QyxPQUFPRTtJQUNUO0lBRUFKLGdCQUFnQjtRQUNkLE1BQU0sRUFBRUssY0FBYyxFQUFFLEdBQUcsSUFBSSxDQUFDLFdBQVcsRUFDckNWLFdBQVdVLGdCQUNYTixhQUFhLElBQUksQ0FBQ0YsaUJBQWlCLENBQUNGO1FBRTFDLE9BQU9JO0lBQ1Q7SUFFQU8sbUJBQW1CO1FBQ2pCLE1BQU1ILFdBQVcsSUFBSSxDQUFDVixXQUFXLElBQzNCYyxnQkFBZ0JKLFNBQVNHLGdCQUFnQjtRQUUvQyxPQUFPQztJQUNUO0lBRUFDLHNCQUFzQjtRQUNwQixNQUFNTCxXQUFXLElBQUksQ0FBQ1YsV0FBVyxJQUMzQmdCLG1CQUFtQk4sU0FBU0ssbUJBQW1CO1FBRXJELE9BQU9DO0lBQ1Q7SUFFQSxPQUFPQywyQ0FBMkNDLEtBQUssRUFBRWhCLFFBQVEsRUFBRWlCLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPdEIsK0JBQWUsQ0FBQ2tCLDBDQUEwQyxDQUFDQyxPQUFPaEIsVUFBVWlCLFlBQVlDLFNBQVNDO0lBQWE7QUFDN04ifQ==

package/lib/node/type.js

@@ -1,60 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return TypeNode;
-    }
-});
-const _occamlanguages = require("occam-languages");
-class TypeNode extends _occamlanguages.NonTerminalNode {
-    isPrefixed() {
-        const multiplicity = this.getMultiplicity(), prefixed = multiplicity > 1;
-        return prefixed;
-    }
-    getTypeName() {
-        let typeName;
-        const prefixed = this.isPrefixed(), nameIndex = prefixed ? 2 : 0;
-        this.someChildNode((childNode, index)=>{
-            if (index === nameIndex) {
-                const typeTerminalNode = childNode, content = typeTerminalNode.getContent();
-                typeName = content; ///
-                return true;
-            }
-        });
-        return typeName;
-    }
-    getTypePrefixName() {
-        let typePrefixName = null;
-        const prefixed = this.isPrefixed();
-        if (prefixed) {
-            const prefixIndex = 0;
-            this.someChildNode((childNode, index)=>{
-                if (index === prefixIndex) {
-                    const typeTerminalNode = childNode, content = typeTerminalNode.getContent();
-                    typePrefixName = content; ///
-                    return true;
-                }
-            });
-        }
-        return typePrefixName;
-    }
-    getNominalTypeName() {
-        let nominalTypeName;
-        const prefixed = this.isPrefixed(), typeName = this.getTypeName();
-        if (prefixed) {
-            const typePrefixName = this.getTypePrefixName();
-            nominalTypeName = `${typePrefixName}${typeName}`;
-        } else {
-            nominalTypeName = typeName; ///
-        }
-        return nominalTypeName;
-    }
-    static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
-        return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(TypeNode, ruleName, childNodes, opacity, precedence);
-    }
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3R5cGUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IE5vblRlcm1pbmFsTm9kZSB9IGZyb20gXCJvY2NhbS1sYW5ndWFnZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgVHlwZU5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBpc1ByZWZpeGVkKCkge1xuICAgIGNvbnN0IG11bHRpcGxpY2l0eSA9IHRoaXMuZ2V0TXVsdGlwbGljaXR5KCksXG4gICAgICAgICAgcHJlZml4ZWQgPSAobXVsdGlwbGljaXR5ID4gMSk7XG5cbiAgICByZXR1cm4gcHJlZml4ZWQ7XG4gIH1cblxuICBnZXRUeXBlTmFtZSgpIHtcbiAgICBsZXQgdHlwZU5hbWU7XG5cbiAgICBjb25zdCBwcmVmaXhlZCA9IHRoaXMuaXNQcmVmaXhlZCgpLFxuICAgICAgICAgIG5hbWVJbmRleCA9IHByZWZpeGVkID8gMiA6IDA7XG5cbiAgICB0aGlzLnNvbWVDaGlsZE5vZGUoKGNoaWxkTm9kZSwgaW5kZXgpID0+IHtcbiAgICAgIGlmIChpbmRleCA9PT0gbmFtZUluZGV4KSB7XG4gICAgICAgIGNvbnN0IHR5cGVUZXJtaW5hbE5vZGUgPSBjaGlsZE5vZGUsIC8vL1xuICAgICAgICAgICAgICBjb250ZW50ID0gdHlwZVRlcm1pbmFsTm9kZS5nZXRDb250ZW50KCk7XG5cbiAgICAgICAgdHlwZU5hbWUgPSBjb250ZW50OyAvLy9cblxuICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgIH1cbiAgICB9KTtcblxuICAgIHJldHVybiB0eXBlTmFtZTtcbiAgfVxuXG4gIGdldFR5cGVQcmVmaXhOYW1lKCkge1xuICAgIGxldCB0eXBlUHJlZml4TmFtZSA9IG51bGw7XG5cbiAgICBjb25zdCBwcmVmaXhlZCA9IHRoaXMuaXNQcmVmaXhlZCgpO1xuXG4gICAgaWYgKHByZWZpeGVkKSB7XG4gICAgICBjb25zdCBwcmVmaXhJbmRleCA9IDA7XG5cbiAgICAgIHRoaXMuc29tZUNoaWxkTm9kZSgoY2hpbGROb2RlLCBpbmRleCkgPT4ge1xuICAgICAgICBpZiAoaW5kZXggPT09IHByZWZpeEluZGV4KSB7XG4gICAgICAgICAgY29uc3QgdHlwZVRlcm1pbmFsTm9kZSA9IGNoaWxkTm9kZSwgLy8vXG4gICAgICAgICAgICAgICAgY29udGVudCA9IHR5cGVUZXJtaW5hbE5vZGUuZ2V0Q29udGVudCgpO1xuXG4gICAgICAgICAgdHlwZVByZWZpeE5hbWUgPSBjb250ZW50OyAvLy9cblxuICAgICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgICB9XG4gICAgICB9KTtcbiAgICB9XG5cbiAgICByZXR1cm4gdHlwZVByZWZpeE5hbWU7XG4gIH1cblxuICBnZXROb21pbmFsVHlwZU5hbWUoKSB7XG4gICAgbGV0IG5vbWluYWxUeXBlTmFtZTtcblxuICAgIGNvbnN0IHByZWZpeGVkID0gdGhpcy5pc1ByZWZpeGVkKCksXG4gICAgICAgICAgdHlwZU5hbWUgPSB0aGlzLmdldFR5cGVOYW1lKCk7XG5cbiAgICBpZiAocHJlZml4ZWQpIHtcbiAgICAgIGNvbnN0IHR5cGVQcmVmaXhOYW1lID0gdGhpcy5nZXRUeXBlUHJlZml4TmFtZSgpO1xuXG4gICAgICBub21pbmFsVHlwZU5hbWUgPSBgJHt0eXBlUHJlZml4TmFtZX0ke3R5cGVOYW1lfWA7XG4gICAgfSBlbHNlIHtcbiAgICAgIG5vbWluYWxUeXBlTmFtZSA9IHR5cGVOYW1lOyAgLy8vXG4gICAgfVxuXG4gICAgcmV0dXJuIG5vbWluYWxUeXBlTmFtZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoVHlwZU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlR5cGVOb2RlIiwiTm9uVGVybWluYWxOb2RlIiwiaXNQcmVmaXhlZCIsIm11bHRpcGxpY2l0eSIsImdldE11bHRpcGxpY2l0eSIsInByZWZpeGVkIiwiZ2V0VHlwZU5hbWUiLCJ0eXBlTmFtZSIsIm5hbWVJbmRleCIsInNvbWVDaGlsZE5vZGUiLCJjaGlsZE5vZGUiLCJpbmRleCIsInR5cGVUZXJtaW5hbE5vZGUiLCJjb250ZW50IiwiZ2V0Q29udGVudCIsImdldFR5cGVQcmVmaXhOYW1lIiwidHlwZVByZWZpeE5hbWUiLCJwcmVmaXhJbmRleCIsImdldE5vbWluYWxUeXBlTmFtZSIsIm5vbWluYWxUeXBlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFJQTs7O2VBQXFCQTs7O2dDQUZXO0FBRWpCLE1BQU1BLGlCQUFpQkMsK0JBQWU7SUFDbkRDLGFBQWE7UUFDWCxNQUFNQyxlQUFlLElBQUksQ0FBQ0MsZUFBZSxJQUNuQ0MsV0FBWUYsZUFBZTtRQUVqQyxPQUFPRTtJQUNUO0lBRUFDLGNBQWM7UUFDWixJQUFJQztRQUVKLE1BQU1GLFdBQVcsSUFBSSxDQUFDSCxVQUFVLElBQzFCTSxZQUFZSCxXQUFXLElBQUk7UUFFakMsSUFBSSxDQUFDSSxhQUFhLENBQUMsQ0FBQ0MsV0FBV0M7WUFDN0IsSUFBSUEsVUFBVUgsV0FBVztnQkFDdkIsTUFBTUksbUJBQW1CRixXQUNuQkcsVUFBVUQsaUJBQWlCRSxVQUFVO2dCQUUzQ1AsV0FBV00sU0FBUyxHQUFHO2dCQUV2QixPQUFPO1lBQ1Q7UUFDRjtRQUVBLE9BQU9OO0lBQ1Q7SUFFQVEsb0JBQW9CO1FBQ2xCLElBQUlDLGlCQUFpQjtRQUVyQixNQUFNWCxXQUFXLElBQUksQ0FBQ0gsVUFBVTtRQUVoQyxJQUFJRyxVQUFVO1lBQ1osTUFBTVksY0FBYztZQUVwQixJQUFJLENBQUNSLGFBQWEsQ0FBQyxDQUFDQyxXQUFXQztnQkFDN0IsSUFBSUEsVUFBVU0sYUFBYTtvQkFDekIsTUFBTUwsbUJBQW1CRixXQUNuQkcsVUFBVUQsaUJBQWlCRSxVQUFVO29CQUUzQ0UsaUJBQWlCSCxTQUFTLEdBQUc7b0JBRTdCLE9BQU87Z0JBQ1Q7WUFDRjtRQUNGO1FBRUEsT0FBT0c7SUFDVDtJQUVBRSxxQkFBcUI7UUFDbkIsSUFBSUM7UUFFSixNQUFNZCxXQUFXLElBQUksQ0FBQ0gsVUFBVSxJQUMxQkssV0FBVyxJQUFJLENBQUNELFdBQVc7UUFFakMsSUFBSUQsVUFBVTtZQUNaLE1BQU1XLGlCQUFpQixJQUFJLENBQUNELGlCQUFpQjtZQUU3Q0ksa0JBQWtCLEdBQUdILGlCQUFpQlQsVUFBVTtRQUNsRCxPQUFPO1lBQ0xZLGtCQUFrQlosVUFBVyxHQUFHO1FBQ2xDO1FBRUEsT0FBT1k7SUFDVDtJQUVBLE9BQU9DLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT3ZCLCtCQUFlLENBQUNtQiwwQ0FBMEMsQ0FBQ3BCLFVBQVVxQixVQUFVQyxZQUFZQyxTQUFTQztJQUFhO0FBQ3pOIn0=

package/lib/node/typePrefix.js

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