occam-verify-cli 1.0.178 → 1.0.180

package/lib/nonTerminalNodeMap.js

@@ -0,0 +1,82 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", {
+    value: true
+});
+Object.defineProperty(exports, "default", {
+    enumerable: true,
+    get: function() {
+        return _default;
+    }
+});
+var _term = /*#__PURE__*/ _interop_require_default(require("./node/term"));
+var _type = /*#__PURE__*/ _interop_require_default(require("./node/type"));
+var _rule = /*#__PURE__*/ _interop_require_default(require("./node/rule"));
+var _step = /*#__PURE__*/ _interop_require_default(require("./node/step"));
+var _error = /*#__PURE__*/ _interop_require_default(require("./node/error"));
+var _frame = /*#__PURE__*/ _interop_require_default(require("./node/frame"));
+var _axiom = /*#__PURE__*/ _interop_require_default(require("./node/axiom"));
+var _label = /*#__PURE__*/ _interop_require_default(require("./node/label"));
+var _lemma = /*#__PURE__*/ _interop_require_default(require("./node/lemma"));
+var _proof = /*#__PURE__*/ _interop_require_default(require("./node/proof"));
+var _premise = /*#__PURE__*/ _interop_require_default(require("./node/premise"));
+var _theorem = /*#__PURE__*/ _interop_require_default(require("./node/theorem"));
+var _subproof = /*#__PURE__*/ _interop_require_default(require("./node/subproof"));
+var _property = /*#__PURE__*/ _interop_require_default(require("./node/property"));
+var _metaType = /*#__PURE__*/ _interop_require_default(require("./node/metaType"));
+var _equality = /*#__PURE__*/ _interop_require_default(require("./node/equality"));
+var _variable = /*#__PURE__*/ _interop_require_default(require("./node/variable"));
+var _statement = /*#__PURE__*/ _interop_require_default(require("./node/statement"));
+var _reference = /*#__PURE__*/ _interop_require_default(require("./node/reference"));
+var _deduction = /*#__PURE__*/ _interop_require_default(require("./node/deduction"));
+var _judgement = /*#__PURE__*/ _interop_require_default(require("./node/judgement"));
+var _metaLemma = /*#__PURE__*/ _interop_require_default(require("./node/metaLemma"));
+var _parameter = /*#__PURE__*/ _interop_require_default(require("./node/parameter"));
+var _derivation = /*#__PURE__*/ _interop_require_default(require("./node/derivation"));
+var _combinator = /*#__PURE__*/ _interop_require_default(require("./node/combinator"));
+var _conclusion = /*#__PURE__*/ _interop_require_default(require("./node/conclusion"));
+var _conjecture = /*#__PURE__*/ _interop_require_default(require("./node/conjecture"));
+var _supposition = /*#__PURE__*/ _interop_require_default(require("./node/supposition"));
+var _constructor = /*#__PURE__*/ _interop_require_default(require("./node/constructor"));
+var _declaration = /*#__PURE__*/ _interop_require_default(require("./node/declaration"));
+var _metatheorem = /*#__PURE__*/ _interop_require_default(require("./node/metatheorem"));
+var _metavariable = /*#__PURE__*/ _interop_require_default(require("./node/metavariable"));
+var _procedureCall = /*#__PURE__*/ _interop_require_default(require("./node/procedureCall"));
+var _subDerivation = /*#__PURE__*/ _interop_require_default(require("./node/subDerivation"));
+var _type1 = /*#__PURE__*/ _interop_require_default(require("./node/assertion/type"));
+var _type2 = /*#__PURE__*/ _interop_require_default(require("./node/declaration/type"));
+var _propertyRelation = /*#__PURE__*/ _interop_require_default(require("./node/propertyRelation"));
+var _defined = /*#__PURE__*/ _interop_require_default(require("./node/assertion/defined"));
+var _property1 = /*#__PURE__*/ _interop_require_default(require("./node/assertion/property"));
+var _subproof1 = /*#__PURE__*/ _interop_require_default(require("./node/assertion/subproof"));
+var _contained = /*#__PURE__*/ _interop_require_default(require("./node/assertion/contained"));
+var _satisfies = /*#__PURE__*/ _interop_require_default(require("./node/assertion/satisfies"));
+var _property2 = /*#__PURE__*/ _interop_require_default(require("./node/declaration/property"));
+var _variable1 = /*#__PURE__*/ _interop_require_default(require("./node/declaration/variable"));
+var _combinator1 = /*#__PURE__*/ _interop_require_default(require("./node/declaration/combinator"));
+var _complexType = /*#__PURE__*/ _interop_require_default(require("./node/declaration/complexType"));
+var _constructor1 = /*#__PURE__*/ _interop_require_default(require("./node/declaration/constructor"));
+var _metavariable1 = /*#__PURE__*/ _interop_require_default(require("./node/declaration/metavariable"));
+var _ruleNames = require("./ruleNames");
+function _define_property(obj, key, value) {
+    if (key in obj) {
+        Object.defineProperty(obj, key, {
+            value: value,
+            enumerable: true,
+            configurable: true,
+            writable: true
+        });
+    } else {
+        obj[key] = value;
+    }
+    return obj;
+}
+function _interop_require_default(obj) {
+    return obj && obj.__esModule ? obj : {
+        default: obj
+    };
+}
+var _obj;
+var nonTerminalNodeMap = (_obj = {}, _define_property(_obj, _ruleNames.RULE_RULE_NAME, _rule.default), _define_property(_obj, _ruleNames.STEP_RULE_NAME, _step.default), _define_property(_obj, _ruleNames.TERM_RULE_NAME, _term.default), _define_property(_obj, _ruleNames.TYPE_RULE_NAME, _type.default), _define_property(_obj, _ruleNames.ERROR_RULE_NAME, _error.default), _define_property(_obj, _ruleNames.FRAME_RULE_NAME, _frame.default), _define_property(_obj, _ruleNames.LABEL_RULE_NAME, _label.default), _define_property(_obj, _ruleNames.LEMMA_RULE_NAME, _lemma.default), _define_property(_obj, _ruleNames.AXIOM_RULE_NAME, _axiom.default), _define_property(_obj, _ruleNames.PROOF_RULE_NAME, _proof.default), _define_property(_obj, _ruleNames.THEOREM_RULE_NAME, _theorem.default), _define_property(_obj, _ruleNames.PREMISE_RULE_NAME, _premise.default), _define_property(_obj, _ruleNames.PROPERTY_RULE_NAME, _property.default), _define_property(_obj, _ruleNames.SUBPROOF_RULE_NAME, _subproof.default), _define_property(_obj, _ruleNames.EQUALITY_RULE_NAME, _equality.default), _define_property(_obj, _ruleNames.VARIABLE_RULE_NAME, _variable.default), _define_property(_obj, _ruleNames.REFERENCE_RULE_NAME, _reference.default), _define_property(_obj, _ruleNames.JUDGEMENT_RULE_NAME, _judgement.default), _define_property(_obj, _ruleNames.META_TYPE_RULE_NAME, _metaType.default), _define_property(_obj, _ruleNames.DEDUCTION_RULE_NAME, _deduction.default), _define_property(_obj, _ruleNames.PARAMETER_RULE_NAME, _parameter.default), _define_property(_obj, _ruleNames.STATEMENT_RULE_NAME, _statement.default), _define_property(_obj, _ruleNames.COMBINATOR_RULE_NAME, _combinator.default), _define_property(_obj, _ruleNames.CONCLUSION_RULE_NAME, _conclusion.default), _define_property(_obj, _ruleNames.CONJECTURE_RULE_NAME, _conjecture.default), _define_property(_obj, _ruleNames.DERIVATION_RULE_NAME, _derivation.default), _define_property(_obj, _ruleNames.META_LEMMA_RULE_NAME, _metaLemma.default), _define_property(_obj, _ruleNames.SUPPOSITION_RULE_NAME, _supposition.default), _define_property(_obj, _ruleNames.CONSTRUCTOR_RULE_NAME, _constructor.default), _define_property(_obj, _ruleNames.DECLARATION_RULE_NAME, _declaration.default), _define_property(_obj, _ruleNames.METATHEOREM_RULE_NAME, _metatheorem.default), _define_property(_obj, _ruleNames.METAVARIABLE_RULE_NAME, _metavariable.default), _define_property(_obj, _ruleNames.TYPE_ASSERTION_RULE_NAME, _type1.default), _define_property(_obj, _ruleNames.PROCEDURE_CALL_RULE_NAME, _procedureCall.default), _define_property(_obj, _ruleNames.SUB_DERIVATION_RULE_NAME, _subDerivation.default), _define_property(_obj, _ruleNames.TYPE_DECLARATION_RULE_NAME, _type2.default), _define_property(_obj, _ruleNames.PROPERTY_RELATION_RULE_NAME, _propertyRelation.default), _define_property(_obj, _ruleNames.DEFINED_ASSERTION_RULE_NAME, _defined.default), _define_property(_obj, _ruleNames.SUBPROOF_ASSERTION_RULE_NAME, _subproof1.default), _define_property(_obj, _ruleNames.PROPERTY_ASSERTION_RULE_NAME, _property1.default), _define_property(_obj, _ruleNames.SATISFIES_ASSERTION_RULE_NAME, _satisfies.default), _define_property(_obj, _ruleNames.CONTAINED_ASSERTION_RULE_NAME, _contained.default), _define_property(_obj, _ruleNames.VARIABLE_DECLARATION_RULE_NAME, _variable1.default), _define_property(_obj, _ruleNames.PROPERTY_DECLARATION_RULE_NAME, _property2.default), _define_property(_obj, _ruleNames.COMBINATOR_DECLARATION_RULE_NAME, _combinator1.default), _define_property(_obj, _ruleNames.CONSTRUCTOR_DECLARATION_RULE_NAME, _constructor1.default), _define_property(_obj, _ruleNames.COMPLEX_TYPE_DECLARATION_RULE_NAME, _complexType.default), _define_property(_obj, _ruleNames.METAVARIABLE_DECLARATION_RULE_NAME, _metavariable1.default), _obj);
+var _default = nonTerminalNodeMap;
+
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9ub25UZXJtaW5hbE5vZGVNYXAuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBUZXJtTm9kZSBmcm9tIFwiLi9ub2RlL3Rlcm1cIlxuaW1wb3J0IFR5cGVOb2RlIGZyb20gXCIuL25vZGUvdHlwZVwiXG5pbXBvcnQgUnVsZU5vZGUgZnJvbSBcIi4vbm9kZS9ydWxlXCJcbmltcG9ydCBTdGVwTm9kZSBmcm9tIFwiLi9ub2RlL3N0ZXBcIlxuaW1wb3J0IEVycm9yTm9kZSBmcm9tIFwiLi9ub2RlL2Vycm9yXCJcbmltcG9ydCBGcmFtZU5vZGUgZnJvbSBcIi4vbm9kZS9mcmFtZVwiXG5pbXBvcnQgQXhpb21Ob2RlIGZyb20gXCIuL25vZGUvYXhpb21cIlxuaW1wb3J0IExhYmVsTm9kZSBmcm9tIFwiLi9ub2RlL2xhYmVsXCJcbmltcG9ydCBMZW1tYU5vZGUgZnJvbSBcIi4vbm9kZS9sZW1tYVwiXG5pbXBvcnQgUHJvb2ZOb2RlIGZyb20gXCIuL25vZGUvcHJvb2ZcIlxuaW1wb3J0IFByZW1pc2VOb2RlIGZyb20gXCIuL25vZGUvcHJlbWlzZVwiXG5pbXBvcnQgVGhlb3JlbU5vZGUgZnJvbSBcIi4vbm9kZS90aGVvcmVtXCJcbmltcG9ydCBTdWJwcm9vZk5vZGUgZnJvbSBcIi4vbm9kZS9zdWJwcm9vZlwiXG5pbXBvcnQgUHJvcGVydHlOb2RlIGZyb20gXCIuL25vZGUvcHJvcGVydHlcIlxuaW1wb3J0IE1ldGFUeXBlTm9kZSBmcm9tIFwiLi9ub2RlL21ldGFUeXBlXCJcbmltcG9ydCBFcXVhbGl0eU5vZGUgZnJvbSBcIi4vbm9kZS9lcXVhbGl0eVwiXG5pbXBvcnQgVmFyaWFibGVOb2RlIGZyb20gXCIuL25vZGUvdmFyaWFibGVcIlxuaW1wb3J0IFN0YXRlbWVudE5vZGUgZnJvbSBcIi4vbm9kZS9zdGF0ZW1lbnRcIlxuaW1wb3J0IFJlZmVyZW5jZU5vZGUgZnJvbSBcIi4vbm9kZS9yZWZlcmVuY2VcIlxuaW1wb3J0IERlZHVjdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9kZWR1Y3Rpb25cIlxuaW1wb3J0IEp1ZGdlbWVudE5vZGUgZnJvbSBcIi4vbm9kZS9qdWRnZW1lbnRcIlxuaW1wb3J0IE1ldGFMZW1tYU5vZGUgZnJvbSBcIi4vbm9kZS9tZXRhTGVtbWFcIlxuaW1wb3J0IFBhcmFtZXRlck5vZGUgZnJvbSBcIi4vbm9kZS9wYXJhbWV0ZXJcIlxuaW1wb3J0IERlcml2YXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVyaXZhdGlvblwiXG5pbXBvcnQgQ29tYmluYXRvck5vZGUgZnJvbSBcIi4vbm9kZS9jb21iaW5hdG9yXCJcbmltcG9ydCBDb25jbHVzaW9uTm9kZSBmcm9tIFwiLi9ub2RlL2NvbmNsdXNpb25cIlxuaW1wb3J0IENvbmplY3R1cmVOb2RlIGZyb20gXCIuL25vZGUvY29uamVjdHVyZVwiXG5pbXBvcnQgU3VwcG9zaXRpb25Ob2RlIGZyb20gXCIuL25vZGUvc3VwcG9zaXRpb25cIlxuaW1wb3J0IENvbnN0cnVjdG9yTm9kZSBmcm9tIFwiLi9ub2RlL2NvbnN0cnVjdG9yXCJcbmltcG9ydCBEZWNsYXJhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9kZWNsYXJhdGlvblwiXG5pbXBvcnQgTWV0YXRoZW9yZW1Ob2RlIGZyb20gXCIuL25vZGUvbWV0YXRoZW9yZW1cIlxuaW1wb3J0IE1ldGF2YXJpYWJsZU5vZGUgZnJvbSBcIi4vbm9kZS9tZXRhdmFyaWFibGVcIlxuaW1wb3J0IFByb2NlZHVyZUNhbGxOb2RlIGZyb20gXCIuL25vZGUvcHJvY2VkdXJlQ2FsbFwiXG5pbXBvcnQgU3ViRGVyaXZhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9zdWJEZXJpdmF0aW9uXCJcbmltcG9ydCBUeXBlQXNzZXJ0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Fzc2VydGlvbi90eXBlXCI7XG5pbXBvcnQgdHlwZURlY2xhcmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlY2xhcmF0aW9uL3R5cGVcIjtcbmltcG9ydCBQcm9wZXJ0eVJlbGF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL3Byb3BlcnR5UmVsYXRpb25cIlxuaW1wb3J0IERlZmluZWRBc3NlcnRpb25Ob2RlIGZyb20gXCIuL25vZGUvYXNzZXJ0aW9uL2RlZmluZWRcIjtcbmltcG9ydCBQcm9wZXJ0eUFzc2VydGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9hc3NlcnRpb24vcHJvcGVydHlcIjtcbmltcG9ydCBTdWJwcm9vZkFzc2VydGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9hc3NlcnRpb24vc3VicHJvb2ZcIjtcbmltcG9ydCBDb250YWluZWRBc3NlcnRpb25Ob2RlIGZyb20gXCIuL25vZGUvYXNzZXJ0aW9uL2NvbnRhaW5lZFwiO1xuaW1wb3J0IFNhdGlzZmllc0Fzc2VydGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9hc3NlcnRpb24vc2F0aXNmaWVzXCI7XG5pbXBvcnQgUHJvcGVydHlEZWNsYXJhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9kZWNsYXJhdGlvbi9wcm9wZXJ0eVwiO1xuaW1wb3J0IHZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vdmFyaWFibGVcIjtcbmltcG9ydCBjb21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vY29tYmluYXRvclwiO1xuaW1wb3J0IGNvbXBsZXhUeXBlRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vY29tcGxleFR5cGVcIjtcbmltcG9ydCBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlY2xhcmF0aW9uL2NvbnN0cnVjdG9yXCI7XG5pbXBvcnQgbWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vbWV0YXZhcmlhYmxlXCI7XG5cbmltcG9ydCB7IFJVTEVfUlVMRV9OQU1FLFxuICAgICAgICAgU1RFUF9SVUxFX05BTUUsXG4gICAgICAgICBURVJNX1JVTEVfTkFNRSxcbiAgICAgICAgIFRZUEVfUlVMRV9OQU1FLFxuICAgICAgICAgUFJPT0ZfUlVMRV9OQU1FLFxuICAgICAgICAgRVJST1JfUlVMRV9OQU1FLFxuICAgICAgICAgRlJBTUVfUlVMRV9OQU1FLFxuICAgICAgICAgQVhJT01fUlVMRV9OQU1FLFxuICAgICAgICAgTEFCRUxfUlVMRV9OQU1FLFxuICAgICAgICAgTEVNTUFfUlVMRV9OQU1FLFxuICAgICAgICAgVEhFT1JFTV9SVUxFX05BTUUsXG4gICAgICAgICBQUkVNSVNFX1JVTEVfTkFNRSxcbiAgICAgICAgIFNVQlBST09GX1JVTEVfTkFNRSxcbiAgICAgICAgIFBST1BFUlRZX1JVTEVfTkFNRSxcbiAgICAgICAgIEVRVUFMSVRZX1JVTEVfTkFNRSxcbiAgICAgICAgIFZBUklBQkxFX1JVTEVfTkFNRSxcbiAgICAgICAgIE1FVEFfVFlQRV9SVUxFX05BTUUsXG4gICAgICAgICBERURVQ1RJT05fUlVMRV9OQU1FLFxuICAgICAgICAgSlVER0VNRU5UX1JVTEVfTkFNRSxcbiAgICAgICAgIFBBUkFNRVRFUl9SVUxFX05BTUUsXG4gICAgICAgICBSRUZFUkVOQ0VfUlVMRV9OQU1FLFxuICAgICAgICAgU1RBVEVNRU5UX1JVTEVfTkFNRSxcbiAgICAgICAgIE1FVEFfTEVNTUFfUlVMRV9OQU1FLFxuICAgICAgICAgREVSSVZBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBDT01CSU5BVE9SX1JVTEVfTkFNRSxcbiAgICAgICAgIENPTkNMVVNJT05fUlVMRV9OQU1FLFxuICAgICAgICAgQ09OSkVDVFVSRV9SVUxFX05BTUUsXG4gICAgICAgICBDT05TVFJVQ1RPUl9SVUxFX05BTUUsXG4gICAgICAgICBERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBTVVBQT1NJVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBNRVRBVEhFT1JFTV9SVUxFX05BTUUsXG4gICAgICAgICBNRVRBVkFSSUFCTEVfUlVMRV9OQU1FLFxuICAgICAgICAgU1VCX0RFUklWQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgVFlQRV9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgUFJPQ0VEVVJFX0NBTExfUlVMRV9OQU1FLFxuICAgICAgICAgVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBQUk9QRVJUWV9SRUxBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBERUZJTkVEX0FTU0VSVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBTVUJQUk9PRl9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgUFJPUEVSVFlfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIENPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgU0FUSVNGSUVTX0FTU0VSVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBQUk9QRVJUWV9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBDT01CSU5BVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIENPTlNUUlVDVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIENPTVBMRVhfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBNRVRBVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIH0gZnJvbSBcIi4vcnVsZU5hbWVzXCI7XG5cbmNvbnN0IG5vblRlcm1pbmFsTm9kZU1hcCA9IHtcbiAgW1JVTEVfUlVMRV9OQU1FXTogUnVsZU5vZGUsXG4gIFtTVEVQX1JVTEVfTkFNRV06IFN0ZXBOb2RlLFxuICBbVEVSTV9SVUxFX05BTUVdOiBUZXJtTm9kZSxcbiAgW1RZUEVfUlVMRV9OQU1FXTogVHlwZU5vZGUsXG4gIFtFUlJPUl9SVUxFX05BTUVdOiBFcnJvck5vZGUsXG4gIFtGUkFNRV9SVUxFX05BTUVdOiBGcmFtZU5vZGUsXG4gIFtMQUJFTF9SVUxFX05BTUVdOiBMYWJlbE5vZGUsXG4gIFtMRU1NQV9SVUxFX05BTUVdOiBMZW1tYU5vZGUsXG4gIFtBWElPTV9SVUxFX05BTUVdOiBBeGlvbU5vZGUsXG4gIFtQUk9PRl9SVUxFX05BTUVdOiBQcm9vZk5vZGUsXG4gIFtUSEVPUkVNX1JVTEVfTkFNRV06IFRoZW9yZW1Ob2RlLFxuICBbUFJFTUlTRV9SVUxFX05BTUVdOiBQcmVtaXNlTm9kZSxcbiAgW1BST1BFUlRZX1JVTEVfTkFNRV06IFByb3BlcnR5Tm9kZSxcbiAgW1NVQlBST09GX1JVTEVfTkFNRV06IFN1YnByb29mTm9kZSxcbiAgW0VRVUFMSVRZX1JVTEVfTkFNRV06IEVxdWFsaXR5Tm9kZSxcbiAgW1ZBUklBQkxFX1JVTEVfTkFNRV06IFZhcmlhYmxlTm9kZSxcbiAgW1JFRkVSRU5DRV9SVUxFX05BTUVdOiBSZWZlcmVuY2VOb2RlLFxuICBbSlVER0VNRU5UX1JVTEVfTkFNRV06IEp1ZGdlbWVudE5vZGUsXG4gIFtNRVRBX1RZUEVfUlVMRV9OQU1FXTogTWV0YVR5cGVOb2RlLFxuICBbREVEVUNUSU9OX1JVTEVfTkFNRV06IERlZHVjdGlvbk5vZGUsXG4gIFtQQVJBTUVURVJfUlVMRV9OQU1FXTogUGFyYW1ldGVyTm9kZSxcbiAgW1NUQVRFTUVOVF9SVUxFX05BTUVdOiBTdGF0ZW1lbnROb2RlLFxuICBbQ09NQklOQVRPUl9SVUxFX05BTUVdOiBDb21iaW5hdG9yTm9kZSxcbiAgW0NPTkNMVVNJT05fUlVMRV9OQU1FXTogQ29uY2x1c2lvbk5vZGUsXG4gIFtDT05KRUNUVVJFX1JVTEVfTkFNRV06IENvbmplY3R1cmVOb2RlLFxuICBbREVSSVZBVElPTl9SVUxFX05BTUVdOiBEZXJpdmF0aW9uTm9kZSxcbiAgW01FVEFfTEVNTUFfUlVMRV9OQU1FXTogTWV0YUxlbW1hTm9kZSxcbiAgW1NVUFBPU0lUSU9OX1JVTEVfTkFNRV06IFN1cHBvc2l0aW9uTm9kZSxcbiAgW0NPTlNUUlVDVE9SX1JVTEVfTkFNRV06IENvbnN0cnVjdG9yTm9kZSxcbiAgW0RFQ0xBUkFUSU9OX1JVTEVfTkFNRV06IERlY2xhcmF0aW9uTm9kZSxcbiAgW01FVEFUSEVPUkVNX1JVTEVfTkFNRV06IE1ldGF0aGVvcmVtTm9kZSxcbiAgW01FVEFWQVJJQUJMRV9SVUxFX05BTUVdOiBNZXRhdmFyaWFibGVOb2RlLFxuICBbVFlQRV9BU1NFUlRJT05fUlVMRV9OQU1FXTogVHlwZUFzc2VydGlvbk5vZGUsXG4gIFtQUk9DRURVUkVfQ0FMTF9SVUxFX05BTUVdOiBQcm9jZWR1cmVDYWxsTm9kZSxcbiAgW1NVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRV06IFN1YkRlcml2YXRpb25Ob2RlLFxuICBbVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiB0eXBlRGVjbGFyYXRpb25Ob2RlLFxuICBbUFJPUEVSVFlfUkVMQVRJT05fUlVMRV9OQU1FXTogUHJvcGVydHlSZWxhdGlvbk5vZGUsXG4gIFtERUZJTkVEX0FTU0VSVElPTl9SVUxFX05BTUVdOiBEZWZpbmVkQXNzZXJ0aW9uTm9kZSxcbiAgW1NVQlBST09GX0FTU0VSVElPTl9SVUxFX05BTUVdOiBTdWJwcm9vZkFzc2VydGlvbk5vZGUsXG4gIFtQUk9QRVJUWV9BU1NFUlRJT05fUlVMRV9OQU1FXTogUHJvcGVydHlBc3NlcnRpb25Ob2RlLFxuICBbU0FUSVNGSUVTX0FTU0VSVElPTl9SVUxFX05BTUVdOiBTYXRpc2ZpZXNBc3NlcnRpb25Ob2RlLFxuICBbQ09OVEFJTkVEX0FTU0VSVElPTl9SVUxFX05BTUVdOiBDb250YWluZWRBc3NlcnRpb25Ob2RlLFxuICBbVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FXTogdmFyaWFibGVEZWNsYXJhdGlvbk5vZGUsXG4gIFtQUk9QRVJUWV9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiBQcm9wZXJ0eURlY2xhcmF0aW9uTm9kZSxcbiAgW0NPTUJJTkFUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FXTogY29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSxcbiAgW0NPTlNUUlVDVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRV06IGNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ob2RlLFxuICBbQ09NUExFWF9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRV06IGNvbXBsZXhUeXBlRGVjbGFyYXRpb25Ob2RlLFxuICBbTUVUQVZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRV06IG1ldGF2YXJpYWJsZURlY2xhcmF0aW9uTm9kZVxufTtcblxuZXhwb3J0IGRlZmF1bHQgbm9uVGVybWluYWxOb2RlTWFwO1xuIl0sIm5hbWVzIjpbIm5vblRlcm1pbmFsTm9kZU1hcCIsIlJVTEVfUlVMRV9OQU1FIiwiUnVsZU5vZGUiLCJTVEVQX1JVTEVfTkFNRSIsIlN0ZXBOb2RlIiwiVEVSTV9SVUxFX05BTUUiLCJUZXJtTm9kZSIsIlRZUEVfUlVMRV9OQU1FIiwiVHlwZU5vZGUiLCJFUlJPUl9SVUxFX05BTUUiLCJFcnJvck5vZGUiLCJGUkFNRV9SVUxFX05BTUUiLCJGcmFtZU5vZGUiLCJMQUJFTF9SVUxFX05BTUUiLCJMYWJlbE5vZGUiLCJMRU1NQV9SVUxFX05BTUUiLCJMZW1tYU5vZGUiLCJBWElPTV9SVUxFX05BTUUiLCJBeGlvbU5vZGUiLCJQUk9PRl9SVUxFX05BTUUiLCJQcm9vZk5vZGUiLCJUSEVPUkVNX1JVTEVfTkFNRSIsIlRoZW9yZW1Ob2RlIiwiUFJFTUlTRV9SVUxFX05BTUUiLCJQcmVtaXNlTm9kZSIsIlBST1BFUlRZX1JVTEVfTkFNRSIsIlByb3BlcnR5Tm9kZSIsIlNVQlBST09GX1JVTEVfTkFNRSIsIlN1YnByb29mTm9kZSIsIkVRVUFMSVRZX1JVTEVfTkFNRSIsIkVxdWFsaXR5Tm9kZSIsIlZBUklBQkxFX1JVTEVfTkFNRSIsIlZhcmlhYmxlTm9kZSIsIlJFRkVSRU5DRV9SVUxFX05BTUUiLCJSZWZlcmVuY2VOb2RlIiwiSlVER0VNRU5UX1JVTEVfTkFNRSIsIkp1ZGdlbWVudE5vZGUiLCJNRVRBX1RZUEVfUlVMRV9OQU1FIiwiTWV0YVR5cGVOb2RlIiwiREVEVUNUSU9OX1JVTEVfTkFNRSIsIkRlZHVjdGlvbk5vZGUiLCJQQVJBTUVURVJfUlVMRV9OQU1FIiwiUGFyYW1ldGVyTm9kZSIsIlNUQVRFTUVOVF9SVUxFX05BTUUiLCJTdGF0ZW1lbnROb2RlIiwiQ09NQklOQVRPUl9SVUxFX05BTUUiLCJDb21iaW5hdG9yTm9kZSIsIkNPTkNMVVNJT05fUlVMRV9OQU1FIiwiQ29uY2x1c2lvbk5vZGUiLCJDT05KRUNUVVJFX1JVTEVfTkFNRSIsIkNvbmplY3R1cmVOb2RlIiwiREVSSVZBVElPTl9SVUxFX05BTUUiLCJEZXJpdmF0aW9uTm9kZSIsIk1FVEFfTEVNTUFfUlVMRV9OQU1FIiwiTWV0YUxlbW1hTm9kZSIsIlNVUFBPU0lUSU9OX1JVTEVfTkFNRSIsIlN1cHBvc2l0aW9uTm9kZSIsIkNPTlNUUlVDVE9SX1JVTEVfTkFNRSIsIkNvbnN0cnVjdG9yTm9kZSIsIkRFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIkRlY2xhcmF0aW9uTm9kZSIsIk1FVEFUSEVPUkVNX1JVTEVfTkFNRSIsIk1ldGF0aGVvcmVtTm9kZSIsIk1FVEFWQVJJQUJMRV9SVUxFX05BTUUiLCJNZXRhdmFyaWFibGVOb2RlIiwiVFlQRV9BU1NFUlRJT05fUlVMRV9OQU1FIiwiVHlwZUFzc2VydGlvbk5vZGUiLCJQUk9DRURVUkVfQ0FMTF9SVUxFX05BTUUiLCJQcm9jZWR1cmVDYWxsTm9kZSIsIlNVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRSIsIlN1YkRlcml2YXRpb25Ob2RlIiwiVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJ0eXBlRGVjbGFyYXRpb25Ob2RlIiwiUFJPUEVSVFlfUkVMQVRJT05fUlVMRV9OQU1FIiwiUHJvcGVydHlSZWxhdGlvbk5vZGUiLCJERUZJTkVEX0FTU0VSVElPTl9SVUxFX05BTUUiLCJEZWZpbmVkQXNzZXJ0aW9uTm9kZSIsIlNVQlBST09GX0FTU0VSVElPTl9SVUxFX05BTUUiLCJTdWJwcm9vZkFzc2VydGlvbk5vZGUiLCJQUk9QRVJUWV9BU1NFUlRJT05fUlVMRV9OQU1FIiwiUHJvcGVydHlBc3NlcnRpb25Ob2RlIiwiU0FUSVNGSUVTX0FTU0VSVElPTl9SVUxFX05BTUUiLCJTYXRpc2ZpZXNBc3NlcnRpb25Ob2RlIiwiQ09OVEFJTkVEX0FTU0VSVElPTl9SVUxFX05BTUUiLCJDb250YWluZWRBc3NlcnRpb25Ob2RlIiwiVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwidmFyaWFibGVEZWNsYXJhdGlvbk5vZGUiLCJQUk9QRVJUWV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJQcm9wZXJ0eURlY2xhcmF0aW9uTm9kZSIsIkNPTUJJTkFUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiY29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSIsIkNPTlNUUlVDVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsImNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ob2RlIiwiQ09NUExFWF9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsImNvbXBsZXhUeXBlRGVjbGFyYXRpb25Ob2RlIiwiTUVUQVZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIm1ldGF2YXJpYWJsZURlY2xhcmF0aW9uTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBdUpBOzs7ZUFBQTs7OzJEQXJKcUI7MkRBQ0E7MkRBQ0E7MkRBQ0E7NERBQ0M7NERBQ0E7NERBQ0E7NERBQ0E7NERBQ0E7NERBQ0E7OERBQ0U7OERBQ0E7K0RBQ0M7K0RBQ0E7K0RBQ0E7K0RBQ0E7K0RBQ0E7Z0VBQ0M7Z0VBQ0E7Z0VBQ0E7Z0VBQ0E7Z0VBQ0E7Z0VBQ0E7aUVBQ0M7aUVBQ0E7aUVBQ0E7aUVBQ0E7a0VBQ0M7a0VBQ0E7a0VBQ0E7a0VBQ0E7bUVBQ0M7b0VBQ0M7b0VBQ0E7NERBQ0E7NERBQ0U7dUVBQ0M7OERBQ0E7Z0VBQ0M7Z0VBQ0E7Z0VBQ0M7Z0VBQ0E7Z0VBQ0M7Z0VBQ0E7a0VBQ0U7a0VBQ0M7bUVBQ0E7b0VBQ0M7eUJBaURXOzs7Ozs7Ozs7Ozs7Ozs7Ozs7O0lBRXhCO0FBQTNCLElBQU1BLHNCQUFxQixXQUN6QixpQkFEeUIsTUFDeEJDLHlCQUFjLEVBQUdDLGFBQVEsR0FDMUIsaUJBRnlCLE1BRXhCQyx5QkFBYyxFQUFHQyxhQUFRLEdBQzFCLGlCQUh5QixNQUd4QkMseUJBQWMsRUFBR0MsYUFBUSxHQUMxQixpQkFKeUIsTUFJeEJDLHlCQUFjLEVBQUdDLGFBQVEsR0FDMUIsaUJBTHlCLE1BS3hCQywwQkFBZSxFQUFHQyxjQUFTLEdBQzVCLGlCQU55QixNQU14QkMsMEJBQWUsRUFBR0MsY0FBUyxHQUM1QixpQkFQeUIsTUFPeEJDLDBCQUFlLEVBQUdDLGNBQVMsR0FDNUIsaUJBUnlCLE1BUXhCQywwQkFBZSxFQUFHQyxjQUFTLEdBQzVCLGlCQVR5QixNQVN4QkMsMEJBQWUsRUFBR0MsY0FBUyxHQUM1QixpQkFWeUIsTUFVeEJDLDBCQUFlLEVBQUdDLGNBQVMsR0FDNUIsaUJBWHlCLE1BV3hCQyw0QkFBaUIsRUFBR0MsZ0JBQVcsR0FDaEMsaUJBWnlCLE1BWXhCQyw0QkFBaUIsRUFBR0MsZ0JBQVcsR0FDaEMsaUJBYnlCLE1BYXhCQyw2QkFBa0IsRUFBR0MsaUJBQVksR0FDbEMsaUJBZHlCLE1BY3hCQyw2QkFBa0IsRUFBR0MsaUJBQVksR0FDbEMsaUJBZnlCLE1BZXhCQyw2QkFBa0IsRUFBR0MsaUJBQVksR0FDbEMsaUJBaEJ5QixNQWdCeEJDLDZCQUFrQixFQUFHQyxpQkFBWSxHQUNsQyxpQkFqQnlCLE1BaUJ4QkMsOEJBQW1CLEVBQUdDLGtCQUFhLEdBQ3BDLGlCQWxCeUIsTUFrQnhCQyw4QkFBbUIsRUFBR0Msa0JBQWEsR0FDcEMsaUJBbkJ5QixNQW1CeEJDLDhCQUFtQixFQUFHQyxpQkFBWSxHQUNuQyxpQkFwQnlCLE1Bb0J4QkMsOEJBQW1CLEVBQUdDLGtCQUFhLEdBQ3BDLGlCQXJCeUIsTUFxQnhCQyw4QkFBbUIsRUFBR0Msa0JBQWEsR0FDcEMsaUJBdEJ5QixNQXNCeEJDLDhCQUFtQixFQUFHQyxrQkFBYSxHQUNwQyxpQkF2QnlCLE1BdUJ4QkMsK0JBQW9CLEVBQUdDLG1CQUFjLEdBQ3RDLGlCQXhCeUIsTUF3QnhCQywrQkFBb0IsRUFBR0MsbUJBQWMsR0FDdEMsaUJBekJ5QixNQXlCeEJDLCtCQUFvQixFQUFHQyxtQkFBYyxHQUN0QyxpQkExQnlCLE1BMEJ4QkMsK0JBQW9CLEVBQUdDLG1CQUFjLEdBQ3RDLGlCQTNCeUIsTUEyQnhCQywrQkFBb0IsRUFBR0Msa0JBQWEsR0FDckMsaUJBNUJ5QixNQTRCeEJDLGdDQUFxQixFQUFHQyxvQkFBZSxHQUN4QyxpQkE3QnlCLE1BNkJ4QkMsZ0NBQXFCLEVBQUdDLG9CQUFlLEdBQ3hDLGlCQTlCeUIsTUE4QnhCQyxnQ0FBcUIsRUFBR0Msb0JBQWUsR0FDeEMsaUJBL0J5QixNQStCeEJDLGdDQUFxQixFQUFHQyxvQkFBZSxHQUN4QyxpQkFoQ3lCLE1BZ0N4QkMsaUNBQXNCLEVBQUdDLHFCQUFnQixHQUMxQyxpQkFqQ3lCLE1BaUN4QkMsbUNBQXdCLEVBQUdDLGNBQWlCLEdBQzdDLGlCQWxDeUIsTUFrQ3hCQyxtQ0FBd0IsRUFBR0Msc0JBQWlCLEdBQzdDLGlCQW5DeUIsTUFtQ3hCQyxtQ0FBd0IsRUFBR0Msc0JBQWlCLEdBQzdDLGlCQXBDeUIsTUFvQ3hCQyxxQ0FBMEIsRUFBR0MsY0FBbUIsR0FDakQsaUJBckN5QixNQXFDeEJDLHNDQUEyQixFQUFHQyx5QkFBb0IsR0FDbkQsaUJBdEN5QixNQXNDeEJDLHNDQUEyQixFQUFHQyxnQkFBb0IsR0FDbkQsaUJBdkN5QixNQXVDeEJDLHVDQUE0QixFQUFHQyxrQkFBcUIsR0FDckQsaUJBeEN5QixNQXdDeEJDLHVDQUE0QixFQUFHQyxrQkFBcUIsR0FDckQsaUJBekN5QixNQXlDeEJDLHdDQUE2QixFQUFHQyxrQkFBc0IsR0FDdkQsaUJBMUN5QixNQTBDeEJDLHdDQUE2QixFQUFHQyxrQkFBc0IsR0FDdkQsaUJBM0N5QixNQTJDeEJDLHlDQUE4QixFQUFHQyxrQkFBdUIsR0FDekQsaUJBNUN5QixNQTRDeEJDLHlDQUE4QixFQUFHQyxrQkFBdUIsR0FDekQsaUJBN0N5QixNQTZDeEJDLDJDQUFnQyxFQUFHQyxvQkFBeUIsR0FDN0QsaUJBOUN5QixNQThDeEJDLDRDQUFpQyxFQUFHQyxxQkFBMEIsR0FDL0QsaUJBL0N5QixNQStDeEJDLDZDQUFrQyxFQUFHQyxvQkFBMEIsR0FDaEUsaUJBaER5QixNQWdEeEJDLDZDQUFrQyxFQUFHQyxzQkFBMkIsR0FoRHhDO0lBbUQzQixXQUFlaEcifQ==

package/lib/utilities/customGrammar.js

@@ -23,18 +23,12 @@ _export(exports, {
     }
 });
 var _occamcustomgrammars = require("occam-custom-grammars");
-var _combined = /*#__PURE__*/ _interop_require_default(require("../customGrammar/combined"));
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
 function customGrammarFromNameAndEntries(name, entries) {
     var termBNF = entries.getTermBNF(), statementBNF = entries.getStatementBNF(), typePattern = entries.getTypePattern(), symbolPattern = entries.getSymbolPattern(), customGrammar = _occamcustomgrammars.CustomGrammar.fromNameTermBNFStatementBNFTypePatternAndSymbolPattern(name, termBNF, statementBNF, typePattern, symbolPattern);
     return customGrammar;
 }
 function combinedCustomGrammarFromNothing() {
-    var customGrammars = [], combinedCustomGrammar = _combined.default.fromCustomGrammars(customGrammars);
+    var customGrammars = [], combinedCustomGrammar = _occamcustomgrammars.CombinedCustomGrammar.fromCustomGrammars(customGrammars);
     return combinedCustomGrammar;
 }
 function combinedCustomGrammarFromReleaseContexts(releaseContexts) {
@@ -43,7 +37,7 @@ function combinedCustomGrammarFromReleaseContexts(releaseContexts) {
         return customGrammar;
     });
     customGrammars.reverse(); ///
-    var combinedCustomGrammar = _combined.default.fromCustomGrammars(customGrammars);
+    var combinedCustomGrammar = _occamcustomgrammars.CombinedCustomGrammar.fromCustomGrammars(customGrammars);
     return combinedCustomGrammar;
 }
 var _default = {
@@ -52,4 +46,4 @@ var _default = {
     combinedCustomGrammarFromReleaseContexts: combinedCustomGrammarFromReleaseContexts
 };
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvY3VzdG9tR3JhbW1hci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgQ3VzdG9tR3JhbW1hciB9IGZyb20gXCJvY2NhbS1jdXN0b20tZ3JhbW1hcnNcIjtcblxuaW1wb3J0IENvbWJpbmVkQ3VzdG9tR3JhbW1hciBmcm9tIFwiLi4vY3VzdG9tR3JhbW1hci9jb21iaW5lZFwiO1xuXG5leHBvcnQgZnVuY3Rpb24gY3VzdG9tR3JhbW1hckZyb21OYW1lQW5kRW50cmllcyhuYW1lLCBlbnRyaWVzKSB7XG4gIGNvbnN0IHRlcm1CTkYgPSBlbnRyaWVzLmdldFRlcm1CTkYoKSxcbiAgICAgICAgc3RhdGVtZW50Qk5GID0gZW50cmllcy5nZXRTdGF0ZW1lbnRCTkYoKSxcbiAgICAgICAgdHlwZVBhdHRlcm4gPSBlbnRyaWVzLmdldFR5cGVQYXR0ZXJuKCksXG4gICAgICAgIHN5bWJvbFBhdHRlcm4gPSBlbnRyaWVzLmdldFN5bWJvbFBhdHRlcm4oKSxcbiAgICAgICAgY3VzdG9tR3JhbW1hciA9IEN1c3RvbUdyYW1tYXIuZnJvbU5hbWVUZXJtQk5GU3RhdGVtZW50Qk5GVHlwZVBhdHRlcm5BbmRTeW1ib2xQYXR0ZXJuKG5hbWUsIHRlcm1CTkYsIHN0YXRlbWVudEJORiwgdHlwZVBhdHRlcm4sIHN5bWJvbFBhdHRlcm4pO1xuXG4gIHJldHVybiBjdXN0b21HcmFtbWFyO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbU5vdGhpbmcoKSB7XG4gIGNvbnN0IGN1c3RvbUdyYW1tYXJzID0gW10sXG4gICAgICAgIGNvbWJpbmVkQ3VzdG9tR3JhbW1hciA9IENvbWJpbmVkQ3VzdG9tR3JhbW1hci5mcm9tQ3VzdG9tR3JhbW1hcnMoY3VzdG9tR3JhbW1hcnMpO1xuXG4gIHJldHVybiBjb21iaW5lZEN1c3RvbUdyYW1tYXI7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBjb21iaW5lZEN1c3RvbUdyYW1tYXJGcm9tUmVsZWFzZUNvbnRleHRzKHJlbGVhc2VDb250ZXh0cykge1xuICBjb25zdCBjdXN0b21HcmFtbWFycyA9IHJlbGVhc2VDb250ZXh0cy5tYXAoKHJlbGVhc2VDb250ZXh0KSA9PiB7XG4gICAgICAgICAgY29uc3QgY3VzdG9tR3JhbW1hciA9IHJlbGVhc2VDb250ZXh0LmdldEN1c3RvbUdyYW1tYXIoKTtcblxuICAgICAgICAgIHJldHVybiBjdXN0b21HcmFtbWFyO1xuICAgICAgICB9KTtcblxuICBjdXN0b21HcmFtbWFycy5yZXZlcnNlKCk7IC8vL1xuXG4gIGNvbnN0IGNvbWJpbmVkQ3VzdG9tR3JhbW1hciA9IENvbWJpbmVkQ3VzdG9tR3JhbW1hci5mcm9tQ3VzdG9tR3JhbW1hcnMoY3VzdG9tR3JhbW1hcnMpO1xuXG4gIHJldHVybiBjb21iaW5lZEN1c3RvbUdyYW1tYXI7XG59XG5cbmV4cG9ydCBkZWZhdWx0IHtcbiAgY3VzdG9tR3JhbW1hckZyb21OYW1lQW5kRW50cmllcyxcbiAgY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbU5vdGhpbmcsXG4gIGNvbWJpbmVkQ3VzdG9tR3JhbW1hckZyb21SZWxlYXNlQ29udGV4dHNcbn07XG4iXSwibmFtZXMiOlsiY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbU5vdGhpbmciLCJjb21iaW5lZEN1c3RvbUdyYW1tYXJGcm9tUmVsZWFzZUNvbnRleHRzIiwiY3VzdG9tR3JhbW1hckZyb21OYW1lQW5kRW50cmllcyIsIm5hbWUiLCJlbnRyaWVzIiwidGVybUJORiIsImdldFRlcm1CTkYiLCJzdGF0ZW1lbnRCTkYiLCJnZXRTdGF0ZW1lbnRCTkYiLCJ0eXBlUGF0dGVybiIsImdldFR5cGVQYXR0ZXJuIiwic3ltYm9sUGF0dGVybiIsImdldFN5bWJvbFBhdHRlcm4iLCJjdXN0b21HcmFtbWFyIiwiQ3VzdG9tR3JhbW1hciIsImZyb21OYW1lVGVybUJORlN0YXRlbWVudEJORlR5cGVQYXR0ZXJuQW5kU3ltYm9sUGF0dGVybiIsImN1c3RvbUdyYW1tYXJzIiwiY29tYmluZWRDdXN0b21HcmFtbWFyIiwiQ29tYmluZWRDdXN0b21HcmFtbWFyIiwiZnJvbUN1c3RvbUdyYW1tYXJzIiwicmVsZWFzZUNvbnRleHRzIiwibWFwIiwicmVsZWFzZUNvbnRleHQiLCJnZXRDdXN0b21HcmFtbWFyIiwicmV2ZXJzZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBZ0JnQkE7ZUFBQUE7O1FBT0FDO2VBQUFBOztRQWpCQUM7ZUFBQUE7O1FBK0JoQjtlQUFBOzs7bUNBbkM4QjsrREFFSTs7Ozs7O0FBRTNCLFNBQVNBLGdDQUFnQ0MsSUFBSSxFQUFFQyxPQUFPO0lBQzNELElBQU1DLFVBQVVELFFBQVFFLFVBQVUsSUFDNUJDLGVBQWVILFFBQVFJLGVBQWUsSUFDdENDLGNBQWNMLFFBQVFNLGNBQWMsSUFDcENDLGdCQUFnQlAsUUFBUVEsZ0JBQWdCLElBQ3hDQyxnQkFBZ0JDLGtDQUFhLENBQUNDLHNEQUFzRCxDQUFDWixNQUFNRSxTQUFTRSxjQUFjRSxhQUFhRTtJQUVySSxPQUFPRTtBQUNUO0FBRU8sU0FBU2I7SUFDZCxJQUFNZ0IsaUJBQWlCLEVBQUUsRUFDbkJDLHdCQUF3QkMsaUJBQXFCLENBQUNDLGtCQUFrQixDQUFDSDtJQUV2RSxPQUFPQztBQUNUO0FBRU8sU0FBU2hCLHlDQUF5Q21CLGVBQWU7SUFDdEUsSUFBTUosaUJBQWlCSSxnQkFBZ0JDLEdBQUcsQ0FBQyxTQUFDQztRQUNwQyxJQUFNVCxnQkFBZ0JTLGVBQWVDLGdCQUFnQjtRQUVyRCxPQUFPVjtJQUNUO0lBRU5HLGVBQWVRLE9BQU8sSUFBSSxHQUFHO0lBRTdCLElBQU1QLHdCQUF3QkMsaUJBQXFCLENBQUNDLGtCQUFrQixDQUFDSDtJQUV2RSxPQUFPQztBQUNUO0lBRUEsV0FBZTtJQUNiZixpQ0FBQUE7SUFDQUYsa0NBQUFBO0lBQ0FDLDBDQUFBQTtBQUNGIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvY3VzdG9tR3JhbW1hci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgQ3VzdG9tR3JhbW1hciwgQ29tYmluZWRDdXN0b21HcmFtbWFyIH0gZnJvbSBcIm9jY2FtLWN1c3RvbS1ncmFtbWFyc1wiO1xuXG5leHBvcnQgZnVuY3Rpb24gY3VzdG9tR3JhbW1hckZyb21OYW1lQW5kRW50cmllcyhuYW1lLCBlbnRyaWVzKSB7XG4gIGNvbnN0IHRlcm1CTkYgPSBlbnRyaWVzLmdldFRlcm1CTkYoKSxcbiAgICAgICAgc3RhdGVtZW50Qk5GID0gZW50cmllcy5nZXRTdGF0ZW1lbnRCTkYoKSxcbiAgICAgICAgdHlwZVBhdHRlcm4gPSBlbnRyaWVzLmdldFR5cGVQYXR0ZXJuKCksXG4gICAgICAgIHN5bWJvbFBhdHRlcm4gPSBlbnRyaWVzLmdldFN5bWJvbFBhdHRlcm4oKSxcbiAgICAgICAgY3VzdG9tR3JhbW1hciA9IEN1c3RvbUdyYW1tYXIuZnJvbU5hbWVUZXJtQk5GU3RhdGVtZW50Qk5GVHlwZVBhdHRlcm5BbmRTeW1ib2xQYXR0ZXJuKG5hbWUsIHRlcm1CTkYsIHN0YXRlbWVudEJORiwgdHlwZVBhdHRlcm4sIHN5bWJvbFBhdHRlcm4pO1xuXG4gIHJldHVybiBjdXN0b21HcmFtbWFyO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbU5vdGhpbmcoKSB7XG4gIGNvbnN0IGN1c3RvbUdyYW1tYXJzID0gW10sXG4gICAgICAgIGNvbWJpbmVkQ3VzdG9tR3JhbW1hciA9IENvbWJpbmVkQ3VzdG9tR3JhbW1hci5mcm9tQ3VzdG9tR3JhbW1hcnMoY3VzdG9tR3JhbW1hcnMpO1xuXG4gIHJldHVybiBjb21iaW5lZEN1c3RvbUdyYW1tYXI7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBjb21iaW5lZEN1c3RvbUdyYW1tYXJGcm9tUmVsZWFzZUNvbnRleHRzKHJlbGVhc2VDb250ZXh0cykge1xuICBjb25zdCBjdXN0b21HcmFtbWFycyA9IHJlbGVhc2VDb250ZXh0cy5tYXAoKHJlbGVhc2VDb250ZXh0KSA9PiB7XG4gICAgICAgICAgY29uc3QgY3VzdG9tR3JhbW1hciA9IHJlbGVhc2VDb250ZXh0LmdldEN1c3RvbUdyYW1tYXIoKTtcblxuICAgICAgICAgIHJldHVybiBjdXN0b21HcmFtbWFyO1xuICAgICAgICB9KTtcblxuICBjdXN0b21HcmFtbWFycy5yZXZlcnNlKCk7IC8vL1xuXG4gIGNvbnN0IGNvbWJpbmVkQ3VzdG9tR3JhbW1hciA9IENvbWJpbmVkQ3VzdG9tR3JhbW1hci5mcm9tQ3VzdG9tR3JhbW1hcnMoY3VzdG9tR3JhbW1hcnMpO1xuXG4gIHJldHVybiBjb21iaW5lZEN1c3RvbUdyYW1tYXI7XG59XG5cbmV4cG9ydCBkZWZhdWx0IHtcbiAgY3VzdG9tR3JhbW1hckZyb21OYW1lQW5kRW50cmllcyxcbiAgY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbU5vdGhpbmcsXG4gIGNvbWJpbmVkQ3VzdG9tR3JhbW1hckZyb21SZWxlYXNlQ29udGV4dHNcbn07XG4iXSwibmFtZXMiOlsiY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbU5vdGhpbmciLCJjb21iaW5lZEN1c3RvbUdyYW1tYXJGcm9tUmVsZWFzZUNvbnRleHRzIiwiY3VzdG9tR3JhbW1hckZyb21OYW1lQW5kRW50cmllcyIsIm5hbWUiLCJlbnRyaWVzIiwidGVybUJORiIsImdldFRlcm1CTkYiLCJzdGF0ZW1lbnRCTkYiLCJnZXRTdGF0ZW1lbnRCTkYiLCJ0eXBlUGF0dGVybiIsImdldFR5cGVQYXR0ZXJuIiwic3ltYm9sUGF0dGVybiIsImdldFN5bWJvbFBhdHRlcm4iLCJjdXN0b21HcmFtbWFyIiwiQ3VzdG9tR3JhbW1hciIsImZyb21OYW1lVGVybUJORlN0YXRlbWVudEJORlR5cGVQYXR0ZXJuQW5kU3ltYm9sUGF0dGVybiIsImN1c3RvbUdyYW1tYXJzIiwiY29tYmluZWRDdXN0b21HcmFtbWFyIiwiQ29tYmluZWRDdXN0b21HcmFtbWFyIiwiZnJvbUN1c3RvbUdyYW1tYXJzIiwicmVsZWFzZUNvbnRleHRzIiwibWFwIiwicmVsZWFzZUNvbnRleHQiLCJnZXRDdXN0b21HcmFtbWFyIiwicmV2ZXJzZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBY2dCQTtlQUFBQTs7UUFPQUM7ZUFBQUE7O1FBakJBQztlQUFBQTs7UUErQmhCO2VBQUE7OzttQ0FqQ3FEO0FBRTlDLFNBQVNBLGdDQUFnQ0MsSUFBSSxFQUFFQyxPQUFPO0lBQzNELElBQU1DLFVBQVVELFFBQVFFLFVBQVUsSUFDNUJDLGVBQWVILFFBQVFJLGVBQWUsSUFDdENDLGNBQWNMLFFBQVFNLGNBQWMsSUFDcENDLGdCQUFnQlAsUUFBUVEsZ0JBQWdCLElBQ3hDQyxnQkFBZ0JDLGtDQUFhLENBQUNDLHNEQUFzRCxDQUFDWixNQUFNRSxTQUFTRSxjQUFjRSxhQUFhRTtJQUVySSxPQUFPRTtBQUNUO0FBRU8sU0FBU2I7SUFDZCxJQUFNZ0IsaUJBQWlCLEVBQUUsRUFDbkJDLHdCQUF3QkMsMENBQXFCLENBQUNDLGtCQUFrQixDQUFDSDtJQUV2RSxPQUFPQztBQUNUO0FBRU8sU0FBU2hCLHlDQUF5Q21CLGVBQWU7SUFDdEUsSUFBTUosaUJBQWlCSSxnQkFBZ0JDLEdBQUcsQ0FBQyxTQUFDQztRQUNwQyxJQUFNVCxnQkFBZ0JTLGVBQWVDLGdCQUFnQjtRQUVyRCxPQUFPVjtJQUNUO0lBRU5HLGVBQWVRLE9BQU8sSUFBSSxHQUFHO0lBRTdCLElBQU1QLHdCQUF3QkMsMENBQXFCLENBQUNDLGtCQUFrQixDQUFDSDtJQUV2RSxPQUFPQztBQUNUO0lBRUEsV0FBZTtJQUNiZixpQ0FBQUE7SUFDQUYsa0NBQUFBO0lBQ0FDLDBDQUFBQTtBQUNGIn0=

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "occam-verify-cli",
   "author": "James Smith",
-  "version": "1.0.178",
+  "version": "1.0.180",
   "license": "MIT, Anti-996",
   "homepage": "https://github.com/djalbat/occam-verify-cli",
   "description": "Occam's Verifier",
@@ -12,12 +12,9 @@
   "dependencies": {
     "argumentative": "^2.0.32",
     "necessary": "^14.3.2",
-    "occam-custom-grammars": "^5.0.1203",
-    "occam-entities": "^1.0.358",
-    "occam-file-system": "^6.0.376",
-    "occam-furtle": "^2.0.159",
-    "occam-grammar-utilities": "^8.0.333",
-    "occam-grammars": "^1.3.281",
+    "occam-custom-grammars": "^5.0.1207",
+    "occam-entities": "^1.0.359",
+    "occam-furtle": "^2.0.160",
     "occam-lexers": "^23.0.47",
     "occam-parsers": "^23.0.154",
     "occam-query": "^4.1.102"

package/src/{nodeMap.js → nonTerminalNodeMap.js}

@@ -98,7 +98,7 @@ import { RULE_RULE_NAME,
          COMPLEX_TYPE_DECLARATION_RULE_NAME,
          METAVARIABLE_DECLARATION_RULE_NAME } from "./ruleNames";
 
-const ruleMap = {
+const nonTerminalNodeMap = {
   [RULE_RULE_NAME]: RuleNode,
   [STEP_RULE_NAME]: StepNode,
   [TERM_RULE_NAME]: TermNode,
@@ -149,4 +149,4 @@ const ruleMap = {
   [METAVARIABLE_DECLARATION_RULE_NAME]: metavariableDeclarationNode
 };
 
-export default ruleMap;
+export default nonTerminalNodeMap;

package/src/utilities/customGrammar.js

@@ -1,8 +1,6 @@
 "use strict";
 
-import { CustomGrammar } from "occam-custom-grammars";
-
-import CombinedCustomGrammar from "../customGrammar/combined";
+import { CustomGrammar, CombinedCustomGrammar } from "occam-custom-grammars";
 
 export function customGrammarFromNameAndEntries(name, entries) {
   const termBNF = entries.getTermBNF(),

package/lib/customGrammar/combined.js

@@ -1,149 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return CombinedCustomGrammar;
-    }
-});
-var _occamgrammarutilities = require("occam-grammar-utilities");
-var _occamcustomgrammars = require("occam-custom-grammars");
-var _node = /*#__PURE__*/ _interop_require_default(require("../node"));
-var _nodeMap = /*#__PURE__*/ _interop_require_default(require("../nodeMap"));
-function _array_like_to_array(arr, len) {
-    if (len == null || len > arr.length) len = arr.length;
-    for(var i = 0, arr2 = new Array(len); i < len; i++)arr2[i] = arr[i];
-    return arr2;
-}
-function _array_without_holes(arr) {
-    if (Array.isArray(arr)) return _array_like_to_array(arr);
-}
-function _assert_this_initialized(self) {
-    if (self === void 0) {
-        throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
-    }
-    return self;
-}
-function _call_super(_this, derived, args) {
-    derived = _get_prototype_of(derived);
-    return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
-}
-function _class_call_check(instance, Constructor) {
-    if (!(instance instanceof Constructor)) {
-        throw new TypeError("Cannot call a class as a function");
-    }
-}
-function _defineProperties(target, props) {
-    for(var i = 0; i < props.length; i++){
-        var descriptor = props[i];
-        descriptor.enumerable = descriptor.enumerable || false;
-        descriptor.configurable = true;
-        if ("value" in descriptor) descriptor.writable = true;
-        Object.defineProperty(target, descriptor.key, descriptor);
-    }
-}
-function _create_class(Constructor, protoProps, staticProps) {
-    if (protoProps) _defineProperties(Constructor.prototype, protoProps);
-    if (staticProps) _defineProperties(Constructor, staticProps);
-    return Constructor;
-}
-function _get_prototype_of(o) {
-    _get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
-        return o.__proto__ || Object.getPrototypeOf(o);
-    };
-    return _get_prototype_of(o);
-}
-function _inherits(subClass, superClass) {
-    if (typeof superClass !== "function" && superClass !== null) {
-        throw new TypeError("Super expression must either be null or a function");
-    }
-    subClass.prototype = Object.create(superClass && superClass.prototype, {
-        constructor: {
-            value: subClass,
-            writable: true,
-            configurable: true
-        }
-    });
-    if (superClass) _set_prototype_of(subClass, superClass);
-}
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-function _iterable_to_array(iter) {
-    if (typeof Symbol !== "undefined" && iter[Symbol.iterator] != null || iter["@@iterator"] != null) return Array.from(iter);
-}
-function _non_iterable_spread() {
-    throw new TypeError("Invalid attempt to spread non-iterable instance.\\nIn order to be iterable, non-array objects must have a [Symbol.iterator]() method.");
-}
-function _possible_constructor_return(self, call) {
-    if (call && (_type_of(call) === "object" || typeof call === "function")) {
-        return call;
-    }
-    return _assert_this_initialized(self);
-}
-function _set_prototype_of(o, p) {
-    _set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
-        o.__proto__ = p;
-        return o;
-    };
-    return _set_prototype_of(o, p);
-}
-function _to_consumable_array(arr) {
-    return _array_without_holes(arr) || _iterable_to_array(arr) || _unsupported_iterable_to_array(arr) || _non_iterable_spread();
-}
-function _type_of(obj) {
-    "@swc/helpers - typeof";
-    return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
-}
-function _unsupported_iterable_to_array(o, minLen) {
-    if (!o) return;
-    if (typeof o === "string") return _array_like_to_array(o, minLen);
-    var n = Object.prototype.toString.call(o).slice(8, -1);
-    if (n === "Object" && o.constructor) n = o.constructor.name;
-    if (n === "Map" || n === "Set") return Array.from(n);
-    if (n === "Arguments" || /^(?:Ui|I)nt(?:8|16|32)(?:Clamped)?Array$/.test(n)) return _array_like_to_array(o, minLen);
-}
-function _is_native_reflect_construct() {
-    try {
-        var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
-    } catch (_) {}
-    return (_is_native_reflect_construct = function() {
-        return !!result;
-    })();
-}
-var CombinedCustomGrammar = /*#__PURE__*/ function(CombinedCustomGrammarBase) {
-    _inherits(CombinedCustomGrammar, CombinedCustomGrammarBase);
-    function CombinedCustomGrammar() {
-        _class_call_check(this, CombinedCustomGrammar);
-        return _call_super(this, CombinedCustomGrammar, arguments);
-    }
-    _create_class(CombinedCustomGrammar, [
-        {
-            key: "getCombinedRules",
-            value: function getCombinedRules() {
-                var rules = this.getRules(), combinedRules = rules; ///
-                return combinedRules;
-            }
-        },
-        {
-            key: "postProcess",
-            value: function postProcess(rules) {
-                var combinedRules = this.getCombinedRules();
-                rules = _to_consumable_array(rules).concat(_to_consumable_array(combinedRules));
-                rules.forEach(function(rule) {
-                    var ruleName = rule.getName(), NonTerminalNode = _nodeMap.default[ruleName] || _node.default; ///
-                    rule.setNonTerminalNode(NonTerminalNode);
-                });
-                rules = (0, _occamgrammarutilities.eliminateLeftRecursion)(rules); ///
-                return rules;
-            }
-        }
-    ]);
-    return CombinedCustomGrammar;
-}(_occamcustomgrammars.CombinedCustomGrammar);
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jdXN0b21HcmFtbWFyL2NvbWJpbmVkLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBlbGltaW5hdGVMZWZ0UmVjdXJzaW9uIH0gZnJvbSBcIm9jY2FtLWdyYW1tYXItdXRpbGl0aWVzXCI7XG5pbXBvcnQgeyBDb21iaW5lZEN1c3RvbUdyYW1tYXIgYXMgQ29tYmluZWRDdXN0b21HcmFtbWFyQmFzZSB9IGZyb20gXCJvY2NhbS1jdXN0b20tZ3JhbW1hcnNcIjtcblxuaW1wb3J0IE5vZGUgZnJvbSBcIi4uL25vZGVcIjtcbmltcG9ydCBub2RlTWFwIGZyb20gXCIuLi9ub2RlTWFwXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIENvbWJpbmVkQ3VzdG9tR3JhbW1hciBleHRlbmRzIENvbWJpbmVkQ3VzdG9tR3JhbW1hckJhc2Uge1xuICBnZXRDb21iaW5lZFJ1bGVzKCkge1xuICAgIGNvbnN0IHJ1bGVzID0gdGhpcy5nZXRSdWxlcygpLFxuICAgICAgICAgIGNvbWJpbmVkUnVsZXMgPSBydWxlczsgIC8vL1xuXG4gICAgcmV0dXJuIGNvbWJpbmVkUnVsZXM7XG4gIH1cblxuICBwb3N0UHJvY2VzcyhydWxlcykge1xuICAgIGNvbnN0IGNvbWJpbmVkUnVsZXMgPSB0aGlzLmdldENvbWJpbmVkUnVsZXMoKTtcblxuICAgIHJ1bGVzID0gWyAvLy9cbiAgICAgIC4uLnJ1bGVzLFxuICAgICAgLi4uY29tYmluZWRSdWxlcyxcbiAgICBdO1xuXG4gICAgcnVsZXMuZm9yRWFjaCgocnVsZSkgPT4ge1xuICAgICAgY29uc3QgcnVsZU5hbWUgPSBydWxlLmdldE5hbWUoKSxcbiAgICAgICAgICAgIE5vblRlcm1pbmFsTm9kZSA9IG5vZGVNYXBbcnVsZU5hbWVdIHx8IE5vZGU7IC8vL1xuXG4gICAgICBydWxlLnNldE5vblRlcm1pbmFsTm9kZShOb25UZXJtaW5hbE5vZGUpO1xuICAgIH0pO1xuXG4gICAgcnVsZXMgPSBlbGltaW5hdGVMZWZ0UmVjdXJzaW9uKHJ1bGVzKTsgIC8vL1xuXG4gICAgcmV0dXJuIHJ1bGVzO1xuICB9XG59XG4iXSwibmFtZXMiOlsiQ29tYmluZWRDdXN0b21HcmFtbWFyIiwiZ2V0Q29tYmluZWRSdWxlcyIsInJ1bGVzIiwiZ2V0UnVsZXMiLCJjb21iaW5lZFJ1bGVzIiwicG9zdFByb2Nlc3MiLCJmb3JFYWNoIiwicnVsZSIsInJ1bGVOYW1lIiwiZ2V0TmFtZSIsIk5vblRlcm1pbmFsTm9kZSIsIm5vZGVNYXAiLCJOb2RlIiwic2V0Tm9uVGVybWluYWxOb2RlIiwiZWxpbWluYXRlTGVmdFJlY3Vyc2lvbiIsIkNvbWJpbmVkQ3VzdG9tR3JhbW1hckJhc2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBUXFCQTs7O3FDQU5rQjttQ0FDNEI7MkRBRWxEOzhEQUNHOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVMLElBQUEsQUFBTUEsc0NBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxRQUFRLElBQUksQ0FBQ0MsUUFBUSxJQUNyQkMsZ0JBQWdCRixPQUFRLEdBQUc7Z0JBRWpDLE9BQU9FO1lBQ1Q7OztZQUVBQyxLQUFBQTttQkFBQUEsU0FBQUEsWUFBWUgsS0FBSztnQkFDZixJQUFNRSxnQkFBZ0IsSUFBSSxDQUFDSCxnQkFBZ0I7Z0JBRTNDQyxRQUFRLEFBQ04scUJBQUdBLGNBQ0gscUJBQUdFO2dCQUdMRixNQUFNSSxPQUFPLENBQUMsU0FBQ0M7b0JBQ2IsSUFBTUMsV0FBV0QsS0FBS0UsT0FBTyxJQUN2QkMsa0JBQWtCQyxnQkFBTyxDQUFDSCxTQUFTLElBQUlJLGFBQUksRUFBRSxHQUFHO29CQUV0REwsS0FBS00sa0JBQWtCLENBQUNIO2dCQUMxQjtnQkFFQVIsUUFBUVksSUFBQUEsNkNBQXNCLEVBQUNaLFFBQVMsR0FBRztnQkFFM0MsT0FBT0E7WUFDVDs7O1dBMUJtQkY7RUFBOEJlLDBDQUF5QiJ9

package/lib/nodeMap.js

@@ -1,82 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return _default;
-    }
-});
-var _term = /*#__PURE__*/ _interop_require_default(require("./node/term"));
-var _type = /*#__PURE__*/ _interop_require_default(require("./node/type"));
-var _rule = /*#__PURE__*/ _interop_require_default(require("./node/rule"));
-var _step = /*#__PURE__*/ _interop_require_default(require("./node/step"));
-var _error = /*#__PURE__*/ _interop_require_default(require("./node/error"));
-var _frame = /*#__PURE__*/ _interop_require_default(require("./node/frame"));
-var _axiom = /*#__PURE__*/ _interop_require_default(require("./node/axiom"));
-var _label = /*#__PURE__*/ _interop_require_default(require("./node/label"));
-var _lemma = /*#__PURE__*/ _interop_require_default(require("./node/lemma"));
-var _proof = /*#__PURE__*/ _interop_require_default(require("./node/proof"));
-var _premise = /*#__PURE__*/ _interop_require_default(require("./node/premise"));
-var _theorem = /*#__PURE__*/ _interop_require_default(require("./node/theorem"));
-var _subproof = /*#__PURE__*/ _interop_require_default(require("./node/subproof"));
-var _property = /*#__PURE__*/ _interop_require_default(require("./node/property"));
-var _metaType = /*#__PURE__*/ _interop_require_default(require("./node/metaType"));
-var _equality = /*#__PURE__*/ _interop_require_default(require("./node/equality"));
-var _variable = /*#__PURE__*/ _interop_require_default(require("./node/variable"));
-var _statement = /*#__PURE__*/ _interop_require_default(require("./node/statement"));
-var _reference = /*#__PURE__*/ _interop_require_default(require("./node/reference"));
-var _deduction = /*#__PURE__*/ _interop_require_default(require("./node/deduction"));
-var _judgement = /*#__PURE__*/ _interop_require_default(require("./node/judgement"));
-var _metaLemma = /*#__PURE__*/ _interop_require_default(require("./node/metaLemma"));
-var _parameter = /*#__PURE__*/ _interop_require_default(require("./node/parameter"));
-var _derivation = /*#__PURE__*/ _interop_require_default(require("./node/derivation"));
-var _combinator = /*#__PURE__*/ _interop_require_default(require("./node/combinator"));
-var _conclusion = /*#__PURE__*/ _interop_require_default(require("./node/conclusion"));
-var _conjecture = /*#__PURE__*/ _interop_require_default(require("./node/conjecture"));
-var _supposition = /*#__PURE__*/ _interop_require_default(require("./node/supposition"));
-var _constructor = /*#__PURE__*/ _interop_require_default(require("./node/constructor"));
-var _declaration = /*#__PURE__*/ _interop_require_default(require("./node/declaration"));
-var _metatheorem = /*#__PURE__*/ _interop_require_default(require("./node/metatheorem"));
-var _metavariable = /*#__PURE__*/ _interop_require_default(require("./node/metavariable"));
-var _procedureCall = /*#__PURE__*/ _interop_require_default(require("./node/procedureCall"));
-var _subDerivation = /*#__PURE__*/ _interop_require_default(require("./node/subDerivation"));
-var _type1 = /*#__PURE__*/ _interop_require_default(require("./node/assertion/type"));
-var _type2 = /*#__PURE__*/ _interop_require_default(require("./node/declaration/type"));
-var _propertyRelation = /*#__PURE__*/ _interop_require_default(require("./node/propertyRelation"));
-var _defined = /*#__PURE__*/ _interop_require_default(require("./node/assertion/defined"));
-var _property1 = /*#__PURE__*/ _interop_require_default(require("./node/assertion/property"));
-var _subproof1 = /*#__PURE__*/ _interop_require_default(require("./node/assertion/subproof"));
-var _contained = /*#__PURE__*/ _interop_require_default(require("./node/assertion/contained"));
-var _satisfies = /*#__PURE__*/ _interop_require_default(require("./node/assertion/satisfies"));
-var _property2 = /*#__PURE__*/ _interop_require_default(require("./node/declaration/property"));
-var _variable1 = /*#__PURE__*/ _interop_require_default(require("./node/declaration/variable"));
-var _combinator1 = /*#__PURE__*/ _interop_require_default(require("./node/declaration/combinator"));
-var _complexType = /*#__PURE__*/ _interop_require_default(require("./node/declaration/complexType"));
-var _constructor1 = /*#__PURE__*/ _interop_require_default(require("./node/declaration/constructor"));
-var _metavariable1 = /*#__PURE__*/ _interop_require_default(require("./node/declaration/metavariable"));
-var _ruleNames = require("./ruleNames");
-function _define_property(obj, key, value) {
-    if (key in obj) {
-        Object.defineProperty(obj, key, {
-            value: value,
-            enumerable: true,
-            configurable: true,
-            writable: true
-        });
-    } else {
-        obj[key] = value;
-    }
-    return obj;
-}
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-var _obj;
-var ruleMap = (_obj = {}, _define_property(_obj, _ruleNames.RULE_RULE_NAME, _rule.default), _define_property(_obj, _ruleNames.STEP_RULE_NAME, _step.default), _define_property(_obj, _ruleNames.TERM_RULE_NAME, _term.default), _define_property(_obj, _ruleNames.TYPE_RULE_NAME, _type.default), _define_property(_obj, _ruleNames.ERROR_RULE_NAME, _error.default), _define_property(_obj, _ruleNames.FRAME_RULE_NAME, _frame.default), _define_property(_obj, _ruleNames.LABEL_RULE_NAME, _label.default), _define_property(_obj, _ruleNames.LEMMA_RULE_NAME, _lemma.default), _define_property(_obj, _ruleNames.AXIOM_RULE_NAME, _axiom.default), _define_property(_obj, _ruleNames.PROOF_RULE_NAME, _proof.default), _define_property(_obj, _ruleNames.THEOREM_RULE_NAME, _theorem.default), _define_property(_obj, _ruleNames.PREMISE_RULE_NAME, _premise.default), _define_property(_obj, _ruleNames.PROPERTY_RULE_NAME, _property.default), _define_property(_obj, _ruleNames.SUBPROOF_RULE_NAME, _subproof.default), _define_property(_obj, _ruleNames.EQUALITY_RULE_NAME, _equality.default), _define_property(_obj, _ruleNames.VARIABLE_RULE_NAME, _variable.default), _define_property(_obj, _ruleNames.REFERENCE_RULE_NAME, _reference.default), _define_property(_obj, _ruleNames.JUDGEMENT_RULE_NAME, _judgement.default), _define_property(_obj, _ruleNames.META_TYPE_RULE_NAME, _metaType.default), _define_property(_obj, _ruleNames.DEDUCTION_RULE_NAME, _deduction.default), _define_property(_obj, _ruleNames.PARAMETER_RULE_NAME, _parameter.default), _define_property(_obj, _ruleNames.STATEMENT_RULE_NAME, _statement.default), _define_property(_obj, _ruleNames.COMBINATOR_RULE_NAME, _combinator.default), _define_property(_obj, _ruleNames.CONCLUSION_RULE_NAME, _conclusion.default), _define_property(_obj, _ruleNames.CONJECTURE_RULE_NAME, _conjecture.default), _define_property(_obj, _ruleNames.DERIVATION_RULE_NAME, _derivation.default), _define_property(_obj, _ruleNames.META_LEMMA_RULE_NAME, _metaLemma.default), _define_property(_obj, _ruleNames.SUPPOSITION_RULE_NAME, _supposition.default), _define_property(_obj, _ruleNames.CONSTRUCTOR_RULE_NAME, _constructor.default), _define_property(_obj, _ruleNames.DECLARATION_RULE_NAME, _declaration.default), _define_property(_obj, _ruleNames.METATHEOREM_RULE_NAME, _metatheorem.default), _define_property(_obj, _ruleNames.METAVARIABLE_RULE_NAME, _metavariable.default), _define_property(_obj, _ruleNames.TYPE_ASSERTION_RULE_NAME, _type1.default), _define_property(_obj, _ruleNames.PROCEDURE_CALL_RULE_NAME, _procedureCall.default), _define_property(_obj, _ruleNames.SUB_DERIVATION_RULE_NAME, _subDerivation.default), _define_property(_obj, _ruleNames.TYPE_DECLARATION_RULE_NAME, _type2.default), _define_property(_obj, _ruleNames.PROPERTY_RELATION_RULE_NAME, _propertyRelation.default), _define_property(_obj, _ruleNames.DEFINED_ASSERTION_RULE_NAME, _defined.default), _define_property(_obj, _ruleNames.SUBPROOF_ASSERTION_RULE_NAME, _subproof1.default), _define_property(_obj, _ruleNames.PROPERTY_ASSERTION_RULE_NAME, _property1.default), _define_property(_obj, _ruleNames.SATISFIES_ASSERTION_RULE_NAME, _satisfies.default), _define_property(_obj, _ruleNames.CONTAINED_ASSERTION_RULE_NAME, _contained.default), _define_property(_obj, _ruleNames.VARIABLE_DECLARATION_RULE_NAME, _variable1.default), _define_property(_obj, _ruleNames.PROPERTY_DECLARATION_RULE_NAME, _property2.default), _define_property(_obj, _ruleNames.COMBINATOR_DECLARATION_RULE_NAME, _combinator1.default), _define_property(_obj, _ruleNames.CONSTRUCTOR_DECLARATION_RULE_NAME, _constructor1.default), _define_property(_obj, _ruleNames.COMPLEX_TYPE_DECLARATION_RULE_NAME, _complexType.default), _define_property(_obj, _ruleNames.METAVARIABLE_DECLARATION_RULE_NAME, _metavariable1.default), _obj);
-var _default = ruleMap;
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9ub2RlTWFwLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgVGVybU5vZGUgZnJvbSBcIi4vbm9kZS90ZXJtXCJcbmltcG9ydCBUeXBlTm9kZSBmcm9tIFwiLi9ub2RlL3R5cGVcIlxuaW1wb3J0IFJ1bGVOb2RlIGZyb20gXCIuL25vZGUvcnVsZVwiXG5pbXBvcnQgU3RlcE5vZGUgZnJvbSBcIi4vbm9kZS9zdGVwXCJcbmltcG9ydCBFcnJvck5vZGUgZnJvbSBcIi4vbm9kZS9lcnJvclwiXG5pbXBvcnQgRnJhbWVOb2RlIGZyb20gXCIuL25vZGUvZnJhbWVcIlxuaW1wb3J0IEF4aW9tTm9kZSBmcm9tIFwiLi9ub2RlL2F4aW9tXCJcbmltcG9ydCBMYWJlbE5vZGUgZnJvbSBcIi4vbm9kZS9sYWJlbFwiXG5pbXBvcnQgTGVtbWFOb2RlIGZyb20gXCIuL25vZGUvbGVtbWFcIlxuaW1wb3J0IFByb29mTm9kZSBmcm9tIFwiLi9ub2RlL3Byb29mXCJcbmltcG9ydCBQcmVtaXNlTm9kZSBmcm9tIFwiLi9ub2RlL3ByZW1pc2VcIlxuaW1wb3J0IFRoZW9yZW1Ob2RlIGZyb20gXCIuL25vZGUvdGhlb3JlbVwiXG5pbXBvcnQgU3VicHJvb2ZOb2RlIGZyb20gXCIuL25vZGUvc3VicHJvb2ZcIlxuaW1wb3J0IFByb3BlcnR5Tm9kZSBmcm9tIFwiLi9ub2RlL3Byb3BlcnR5XCJcbmltcG9ydCBNZXRhVHlwZU5vZGUgZnJvbSBcIi4vbm9kZS9tZXRhVHlwZVwiXG5pbXBvcnQgRXF1YWxpdHlOb2RlIGZyb20gXCIuL25vZGUvZXF1YWxpdHlcIlxuaW1wb3J0IFZhcmlhYmxlTm9kZSBmcm9tIFwiLi9ub2RlL3ZhcmlhYmxlXCJcbmltcG9ydCBTdGF0ZW1lbnROb2RlIGZyb20gXCIuL25vZGUvc3RhdGVtZW50XCJcbmltcG9ydCBSZWZlcmVuY2VOb2RlIGZyb20gXCIuL25vZGUvcmVmZXJlbmNlXCJcbmltcG9ydCBEZWR1Y3Rpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVkdWN0aW9uXCJcbmltcG9ydCBKdWRnZW1lbnROb2RlIGZyb20gXCIuL25vZGUvanVkZ2VtZW50XCJcbmltcG9ydCBNZXRhTGVtbWFOb2RlIGZyb20gXCIuL25vZGUvbWV0YUxlbW1hXCJcbmltcG9ydCBQYXJhbWV0ZXJOb2RlIGZyb20gXCIuL25vZGUvcGFyYW1ldGVyXCJcbmltcG9ydCBEZXJpdmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Rlcml2YXRpb25cIlxuaW1wb3J0IENvbWJpbmF0b3JOb2RlIGZyb20gXCIuL25vZGUvY29tYmluYXRvclwiXG5pbXBvcnQgQ29uY2x1c2lvbk5vZGUgZnJvbSBcIi4vbm9kZS9jb25jbHVzaW9uXCJcbmltcG9ydCBDb25qZWN0dXJlTm9kZSBmcm9tIFwiLi9ub2RlL2NvbmplY3R1cmVcIlxuaW1wb3J0IFN1cHBvc2l0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL3N1cHBvc2l0aW9uXCJcbmltcG9ydCBDb25zdHJ1Y3Rvck5vZGUgZnJvbSBcIi4vbm9kZS9jb25zdHJ1Y3RvclwiXG5pbXBvcnQgRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb25cIlxuaW1wb3J0IE1ldGF0aGVvcmVtTm9kZSBmcm9tIFwiLi9ub2RlL21ldGF0aGVvcmVtXCJcbmltcG9ydCBNZXRhdmFyaWFibGVOb2RlIGZyb20gXCIuL25vZGUvbWV0YXZhcmlhYmxlXCJcbmltcG9ydCBQcm9jZWR1cmVDYWxsTm9kZSBmcm9tIFwiLi9ub2RlL3Byb2NlZHVyZUNhbGxcIlxuaW1wb3J0IFN1YkRlcml2YXRpb25Ob2RlIGZyb20gXCIuL25vZGUvc3ViRGVyaXZhdGlvblwiXG5pbXBvcnQgVHlwZUFzc2VydGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9hc3NlcnRpb24vdHlwZVwiO1xuaW1wb3J0IHR5cGVEZWNsYXJhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9kZWNsYXJhdGlvbi90eXBlXCI7XG5pbXBvcnQgUHJvcGVydHlSZWxhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9wcm9wZXJ0eVJlbGF0aW9uXCJcbmltcG9ydCBEZWZpbmVkQXNzZXJ0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Fzc2VydGlvbi9kZWZpbmVkXCI7XG5pbXBvcnQgUHJvcGVydHlBc3NlcnRpb25Ob2RlIGZyb20gXCIuL25vZGUvYXNzZXJ0aW9uL3Byb3BlcnR5XCI7XG5pbXBvcnQgU3VicHJvb2ZBc3NlcnRpb25Ob2RlIGZyb20gXCIuL25vZGUvYXNzZXJ0aW9uL3N1YnByb29mXCI7XG5pbXBvcnQgQ29udGFpbmVkQXNzZXJ0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Fzc2VydGlvbi9jb250YWluZWRcIjtcbmltcG9ydCBTYXRpc2ZpZXNBc3NlcnRpb25Ob2RlIGZyb20gXCIuL25vZGUvYXNzZXJ0aW9uL3NhdGlzZmllc1wiO1xuaW1wb3J0IFByb3BlcnR5RGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vcHJvcGVydHlcIjtcbmltcG9ydCB2YXJpYWJsZURlY2xhcmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlY2xhcmF0aW9uL3ZhcmlhYmxlXCI7XG5pbXBvcnQgY29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlY2xhcmF0aW9uL2NvbWJpbmF0b3JcIjtcbmltcG9ydCBjb21wbGV4VHlwZURlY2xhcmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlY2xhcmF0aW9uL2NvbXBsZXhUeXBlXCI7XG5pbXBvcnQgY29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9kZWNsYXJhdGlvbi9jb25zdHJ1Y3RvclwiO1xuaW1wb3J0IG1ldGF2YXJpYWJsZURlY2xhcmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlY2xhcmF0aW9uL21ldGF2YXJpYWJsZVwiO1xuXG5pbXBvcnQgeyBSVUxFX1JVTEVfTkFNRSxcbiAgICAgICAgIFNURVBfUlVMRV9OQU1FLFxuICAgICAgICAgVEVSTV9SVUxFX05BTUUsXG4gICAgICAgICBUWVBFX1JVTEVfTkFNRSxcbiAgICAgICAgIFBST09GX1JVTEVfTkFNRSxcbiAgICAgICAgIEVSUk9SX1JVTEVfTkFNRSxcbiAgICAgICAgIEZSQU1FX1JVTEVfTkFNRSxcbiAgICAgICAgIEFYSU9NX1JVTEVfTkFNRSxcbiAgICAgICAgIExBQkVMX1JVTEVfTkFNRSxcbiAgICAgICAgIExFTU1BX1JVTEVfTkFNRSxcbiAgICAgICAgIFRIRU9SRU1fUlVMRV9OQU1FLFxuICAgICAgICAgUFJFTUlTRV9SVUxFX05BTUUsXG4gICAgICAgICBTVUJQUk9PRl9SVUxFX05BTUUsXG4gICAgICAgICBQUk9QRVJUWV9SVUxFX05BTUUsXG4gICAgICAgICBFUVVBTElUWV9SVUxFX05BTUUsXG4gICAgICAgICBWQVJJQUJMRV9SVUxFX05BTUUsXG4gICAgICAgICBNRVRBX1RZUEVfUlVMRV9OQU1FLFxuICAgICAgICAgREVEVUNUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIEpVREdFTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICBQQVJBTUVURVJfUlVMRV9OQU1FLFxuICAgICAgICAgUkVGRVJFTkNFX1JVTEVfTkFNRSxcbiAgICAgICAgIFNUQVRFTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICBNRVRBX0xFTU1BX1JVTEVfTkFNRSxcbiAgICAgICAgIERFUklWQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgQ09NQklOQVRPUl9SVUxFX05BTUUsXG4gICAgICAgICBDT05DTFVTSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIENPTkpFQ1RVUkVfUlVMRV9OQU1FLFxuICAgICAgICAgQ09OU1RSVUNUT1JfUlVMRV9OQU1FLFxuICAgICAgICAgREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgU1VQUE9TSVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgTUVUQVRIRU9SRU1fUlVMRV9OQU1FLFxuICAgICAgICAgTUVUQVZBUklBQkxFX1JVTEVfTkFNRSxcbiAgICAgICAgIFNVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFRZUEVfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFBST0NFRFVSRV9DQUxMX1JVTEVfTkFNRSxcbiAgICAgICAgIFRZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgUFJPUEVSVFlfUkVMQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgREVGSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgU1VCUFJPT0ZfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFBST1BFUlRZX0FTU0VSVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBDT05UQUlORURfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFNBVElTRklFU19BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgUFJPUEVSVFlfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgQ09NQklOQVRPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBDT05TVFJVQ1RPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBDT01QTEVYX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgTUVUQVZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSB9IGZyb20gXCIuL3J1bGVOYW1lc1wiO1xuXG5jb25zdCBydWxlTWFwID0ge1xuICBbUlVMRV9SVUxFX05BTUVdOiBSdWxlTm9kZSxcbiAgW1NURVBfUlVMRV9OQU1FXTogU3RlcE5vZGUsXG4gIFtURVJNX1JVTEVfTkFNRV06IFRlcm1Ob2RlLFxuICBbVFlQRV9SVUxFX05BTUVdOiBUeXBlTm9kZSxcbiAgW0VSUk9SX1JVTEVfTkFNRV06IEVycm9yTm9kZSxcbiAgW0ZSQU1FX1JVTEVfTkFNRV06IEZyYW1lTm9kZSxcbiAgW0xBQkVMX1JVTEVfTkFNRV06IExhYmVsTm9kZSxcbiAgW0xFTU1BX1JVTEVfTkFNRV06IExlbW1hTm9kZSxcbiAgW0FYSU9NX1JVTEVfTkFNRV06IEF4aW9tTm9kZSxcbiAgW1BST09GX1JVTEVfTkFNRV06IFByb29mTm9kZSxcbiAgW1RIRU9SRU1fUlVMRV9OQU1FXTogVGhlb3JlbU5vZGUsXG4gIFtQUkVNSVNFX1JVTEVfTkFNRV06IFByZW1pc2VOb2RlLFxuICBbUFJPUEVSVFlfUlVMRV9OQU1FXTogUHJvcGVydHlOb2RlLFxuICBbU1VCUFJPT0ZfUlVMRV9OQU1FXTogU3VicHJvb2ZOb2RlLFxuICBbRVFVQUxJVFlfUlVMRV9OQU1FXTogRXF1YWxpdHlOb2RlLFxuICBbVkFSSUFCTEVfUlVMRV9OQU1FXTogVmFyaWFibGVOb2RlLFxuICBbUkVGRVJFTkNFX1JVTEVfTkFNRV06IFJlZmVyZW5jZU5vZGUsXG4gIFtKVURHRU1FTlRfUlVMRV9OQU1FXTogSnVkZ2VtZW50Tm9kZSxcbiAgW01FVEFfVFlQRV9SVUxFX05BTUVdOiBNZXRhVHlwZU5vZGUsXG4gIFtERURVQ1RJT05fUlVMRV9OQU1FXTogRGVkdWN0aW9uTm9kZSxcbiAgW1BBUkFNRVRFUl9SVUxFX05BTUVdOiBQYXJhbWV0ZXJOb2RlLFxuICBbU1RBVEVNRU5UX1JVTEVfTkFNRV06IFN0YXRlbWVudE5vZGUsXG4gIFtDT01CSU5BVE9SX1JVTEVfTkFNRV06IENvbWJpbmF0b3JOb2RlLFxuICBbQ09OQ0xVU0lPTl9SVUxFX05BTUVdOiBDb25jbHVzaW9uTm9kZSxcbiAgW0NPTkpFQ1RVUkVfUlVMRV9OQU1FXTogQ29uamVjdHVyZU5vZGUsXG4gIFtERVJJVkFUSU9OX1JVTEVfTkFNRV06IERlcml2YXRpb25Ob2RlLFxuICBbTUVUQV9MRU1NQV9SVUxFX05BTUVdOiBNZXRhTGVtbWFOb2RlLFxuICBbU1VQUE9TSVRJT05fUlVMRV9OQU1FXTogU3VwcG9zaXRpb25Ob2RlLFxuICBbQ09OU1RSVUNUT1JfUlVMRV9OQU1FXTogQ29uc3RydWN0b3JOb2RlLFxuICBbREVDTEFSQVRJT05fUlVMRV9OQU1FXTogRGVjbGFyYXRpb25Ob2RlLFxuICBbTUVUQVRIRU9SRU1fUlVMRV9OQU1FXTogTWV0YXRoZW9yZW1Ob2RlLFxuICBbTUVUQVZBUklBQkxFX1JVTEVfTkFNRV06IE1ldGF2YXJpYWJsZU5vZGUsXG4gIFtUWVBFX0FTU0VSVElPTl9SVUxFX05BTUVdOiBUeXBlQXNzZXJ0aW9uTm9kZSxcbiAgW1BST0NFRFVSRV9DQUxMX1JVTEVfTkFNRV06IFByb2NlZHVyZUNhbGxOb2RlLFxuICBbU1VCX0RFUklWQVRJT05fUlVMRV9OQU1FXTogU3ViRGVyaXZhdGlvbk5vZGUsXG4gIFtUWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRV06IHR5cGVEZWNsYXJhdGlvbk5vZGUsXG4gIFtQUk9QRVJUWV9SRUxBVElPTl9SVUxFX05BTUVdOiBQcm9wZXJ0eVJlbGF0aW9uTm9kZSxcbiAgW0RFRklORURfQVNTRVJUSU9OX1JVTEVfTkFNRV06IERlZmluZWRBc3NlcnRpb25Ob2RlLFxuICBbU1VCUFJPT0ZfQVNTRVJUSU9OX1JVTEVfTkFNRV06IFN1YnByb29mQXNzZXJ0aW9uTm9kZSxcbiAgW1BST1BFUlRZX0FTU0VSVElPTl9SVUxFX05BTUVdOiBQcm9wZXJ0eUFzc2VydGlvbk5vZGUsXG4gIFtTQVRJU0ZJRVNfQVNTRVJUSU9OX1JVTEVfTkFNRV06IFNhdGlzZmllc0Fzc2VydGlvbk5vZGUsXG4gIFtDT05UQUlORURfQVNTRVJUSU9OX1JVTEVfTkFNRV06IENvbnRhaW5lZEFzc2VydGlvbk5vZGUsXG4gIFtWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiB2YXJpYWJsZURlY2xhcmF0aW9uTm9kZSxcbiAgW1BST1BFUlRZX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRV06IFByb3BlcnR5RGVjbGFyYXRpb25Ob2RlLFxuICBbQ09NQklOQVRPUl9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiBjb21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlLFxuICBbQ09OU1RSVUNUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FXTogY29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUsXG4gIFtDT01QTEVYX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FXTogY29tcGxleFR5cGVEZWNsYXJhdGlvbk5vZGUsXG4gIFtNRVRBVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FXTogbWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlXG59O1xuXG5leHBvcnQgZGVmYXVsdCBydWxlTWFwO1xuIl0sIm5hbWVzIjpbInJ1bGVNYXAiLCJSVUxFX1JVTEVfTkFNRSIsIlJ1bGVOb2RlIiwiU1RFUF9SVUxFX05BTUUiLCJTdGVwTm9kZSIsIlRFUk1fUlVMRV9OQU1FIiwiVGVybU5vZGUiLCJUWVBFX1JVTEVfTkFNRSIsIlR5cGVOb2RlIiwiRVJST1JfUlVMRV9OQU1FIiwiRXJyb3JOb2RlIiwiRlJBTUVfUlVMRV9OQU1FIiwiRnJhbWVOb2RlIiwiTEFCRUxfUlVMRV9OQU1FIiwiTGFiZWxOb2RlIiwiTEVNTUFfUlVMRV9OQU1FIiwiTGVtbWFOb2RlIiwiQVhJT01fUlVMRV9OQU1FIiwiQXhpb21Ob2RlIiwiUFJPT0ZfUlVMRV9OQU1FIiwiUHJvb2ZOb2RlIiwiVEhFT1JFTV9SVUxFX05BTUUiLCJUaGVvcmVtTm9kZSIsIlBSRU1JU0VfUlVMRV9OQU1FIiwiUHJlbWlzZU5vZGUiLCJQUk9QRVJUWV9SVUxFX05BTUUiLCJQcm9wZXJ0eU5vZGUiLCJTVUJQUk9PRl9SVUxFX05BTUUiLCJTdWJwcm9vZk5vZGUiLCJFUVVBTElUWV9SVUxFX05BTUUiLCJFcXVhbGl0eU5vZGUiLCJWQVJJQUJMRV9SVUxFX05BTUUiLCJWYXJpYWJsZU5vZGUiLCJSRUZFUkVOQ0VfUlVMRV9OQU1FIiwiUmVmZXJlbmNlTm9kZSIsIkpVREdFTUVOVF9SVUxFX05BTUUiLCJKdWRnZW1lbnROb2RlIiwiTUVUQV9UWVBFX1JVTEVfTkFNRSIsIk1ldGFUeXBlTm9kZSIsIkRFRFVDVElPTl9SVUxFX05BTUUiLCJEZWR1Y3Rpb25Ob2RlIiwiUEFSQU1FVEVSX1JVTEVfTkFNRSIsIlBhcmFtZXRlck5vZGUiLCJTVEFURU1FTlRfUlVMRV9OQU1FIiwiU3RhdGVtZW50Tm9kZSIsIkNPTUJJTkFUT1JfUlVMRV9OQU1FIiwiQ29tYmluYXRvck5vZGUiLCJDT05DTFVTSU9OX1JVTEVfTkFNRSIsIkNvbmNsdXNpb25Ob2RlIiwiQ09OSkVDVFVSRV9SVUxFX05BTUUiLCJDb25qZWN0dXJlTm9kZSIsIkRFUklWQVRJT05fUlVMRV9OQU1FIiwiRGVyaXZhdGlvbk5vZGUiLCJNRVRBX0xFTU1BX1JVTEVfTkFNRSIsIk1ldGFMZW1tYU5vZGUiLCJTVVBQT1NJVElPTl9SVUxFX05BTUUiLCJTdXBwb3NpdGlvbk5vZGUiLCJDT05TVFJVQ1RPUl9SVUxFX05BTUUiLCJDb25zdHJ1Y3Rvck5vZGUiLCJERUNMQVJBVElPTl9SVUxFX05BTUUiLCJEZWNsYXJhdGlvbk5vZGUiLCJNRVRBVEhFT1JFTV9SVUxFX05BTUUiLCJNZXRhdGhlb3JlbU5vZGUiLCJNRVRBVkFSSUFCTEVfUlVMRV9OQU1FIiwiTWV0YXZhcmlhYmxlTm9kZSIsIlRZUEVfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlR5cGVBc3NlcnRpb25Ob2RlIiwiUFJPQ0VEVVJFX0NBTExfUlVMRV9OQU1FIiwiUHJvY2VkdXJlQ2FsbE5vZGUiLCJTVUJfREVSSVZBVElPTl9SVUxFX05BTUUiLCJTdWJEZXJpdmF0aW9uTm9kZSIsIlRZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwidHlwZURlY2xhcmF0aW9uTm9kZSIsIlBST1BFUlRZX1JFTEFUSU9OX1JVTEVfTkFNRSIsIlByb3BlcnR5UmVsYXRpb25Ob2RlIiwiREVGSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FIiwiRGVmaW5lZEFzc2VydGlvbk5vZGUiLCJTVUJQUk9PRl9BU1NFUlRJT05fUlVMRV9OQU1FIiwiU3VicHJvb2ZBc3NlcnRpb25Ob2RlIiwiUFJPUEVSVFlfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlByb3BlcnR5QXNzZXJ0aW9uTm9kZSIsIlNBVElTRklFU19BU1NFUlRJT05fUlVMRV9OQU1FIiwiU2F0aXNmaWVzQXNzZXJ0aW9uTm9kZSIsIkNPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FIiwiQ29udGFpbmVkQXNzZXJ0aW9uTm9kZSIsIlZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsInZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIiwiUFJPUEVSVFlfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiUHJvcGVydHlEZWNsYXJhdGlvbk5vZGUiLCJDT01CSU5BVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsImNvbWJpbmF0b3JEZWNsYXJhdGlvbk5vZGUiLCJDT05TVFJVQ1RPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSIsIkNPTVBMRVhfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJjb21wbGV4VHlwZURlY2xhcmF0aW9uTm9kZSIsIk1FVEFWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJtZXRhdmFyaWFibGVEZWNsYXJhdGlvbk5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQXVKQTs7O2VBQUE7OzsyREFySnFCOzJEQUNBOzJEQUNBOzJEQUNBOzREQUNDOzREQUNBOzREQUNBOzREQUNBOzREQUNBOzREQUNBOzhEQUNFOzhEQUNBOytEQUNDOytEQUNBOytEQUNBOytEQUNBOytEQUNBO2dFQUNDO2dFQUNBO2dFQUNBO2dFQUNBO2dFQUNBO2dFQUNBO2lFQUNDO2lFQUNBO2lFQUNBO2lFQUNBO2tFQUNDO2tFQUNBO2tFQUNBO2tFQUNBO21FQUNDO29FQUNDO29FQUNBOzREQUNBOzREQUNFO3VFQUNDOzhEQUNBO2dFQUNDO2dFQUNBO2dFQUNDO2dFQUNBO2dFQUNDO2dFQUNBO2tFQUNFO2tFQUNDO21FQUNBO29FQUNDO3lCQWlEVzs7Ozs7Ozs7Ozs7Ozs7Ozs7OztJQUVuQztBQUFoQixJQUFNQSxXQUFVLFdBQ2QsaUJBRGMsTUFDYkMseUJBQWMsRUFBR0MsYUFBUSxHQUMxQixpQkFGYyxNQUViQyx5QkFBYyxFQUFHQyxhQUFRLEdBQzFCLGlCQUhjLE1BR2JDLHlCQUFjLEVBQUdDLGFBQVEsR0FDMUIsaUJBSmMsTUFJYkMseUJBQWMsRUFBR0MsYUFBUSxHQUMxQixpQkFMYyxNQUtiQywwQkFBZSxFQUFHQyxjQUFTLEdBQzVCLGlCQU5jLE1BTWJDLDBCQUFlLEVBQUdDLGNBQVMsR0FDNUIsaUJBUGMsTUFPYkMsMEJBQWUsRUFBR0MsY0FBUyxHQUM1QixpQkFSYyxNQVFiQywwQkFBZSxFQUFHQyxjQUFTLEdBQzVCLGlCQVRjLE1BU2JDLDBCQUFlLEVBQUdDLGNBQVMsR0FDNUIsaUJBVmMsTUFVYkMsMEJBQWUsRUFBR0MsY0FBUyxHQUM1QixpQkFYYyxNQVdiQyw0QkFBaUIsRUFBR0MsZ0JBQVcsR0FDaEMsaUJBWmMsTUFZYkMsNEJBQWlCLEVBQUdDLGdCQUFXLEdBQ2hDLGlCQWJjLE1BYWJDLDZCQUFrQixFQUFHQyxpQkFBWSxHQUNsQyxpQkFkYyxNQWNiQyw2QkFBa0IsRUFBR0MsaUJBQVksR0FDbEMsaUJBZmMsTUFlYkMsNkJBQWtCLEVBQUdDLGlCQUFZLEdBQ2xDLGlCQWhCYyxNQWdCYkMsNkJBQWtCLEVBQUdDLGlCQUFZLEdBQ2xDLGlCQWpCYyxNQWlCYkMsOEJBQW1CLEVBQUdDLGtCQUFhLEdBQ3BDLGlCQWxCYyxNQWtCYkMsOEJBQW1CLEVBQUdDLGtCQUFhLEdBQ3BDLGlCQW5CYyxNQW1CYkMsOEJBQW1CLEVBQUdDLGlCQUFZLEdBQ25DLGlCQXBCYyxNQW9CYkMsOEJBQW1CLEVBQUdDLGtCQUFhLEdBQ3BDLGlCQXJCYyxNQXFCYkMsOEJBQW1CLEVBQUdDLGtCQUFhLEdBQ3BDLGlCQXRCYyxNQXNCYkMsOEJBQW1CLEVBQUdDLGtCQUFhLEdBQ3BDLGlCQXZCYyxNQXVCYkMsK0JBQW9CLEVBQUdDLG1CQUFjLEdBQ3RDLGlCQXhCYyxNQXdCYkMsK0JBQW9CLEVBQUdDLG1CQUFjLEdBQ3RDLGlCQXpCYyxNQXlCYkMsK0JBQW9CLEVBQUdDLG1CQUFjLEdBQ3RDLGlCQTFCYyxNQTBCYkMsK0JBQW9CLEVBQUdDLG1CQUFjLEdBQ3RDLGlCQTNCYyxNQTJCYkMsK0JBQW9CLEVBQUdDLGtCQUFhLEdBQ3JDLGlCQTVCYyxNQTRCYkMsZ0NBQXFCLEVBQUdDLG9CQUFlLEdBQ3hDLGlCQTdCYyxNQTZCYkMsZ0NBQXFCLEVBQUdDLG9CQUFlLEdBQ3hDLGlCQTlCYyxNQThCYkMsZ0NBQXFCLEVBQUdDLG9CQUFlLEdBQ3hDLGlCQS9CYyxNQStCYkMsZ0NBQXFCLEVBQUdDLG9CQUFlLEdBQ3hDLGlCQWhDYyxNQWdDYkMsaUNBQXNCLEVBQUdDLHFCQUFnQixHQUMxQyxpQkFqQ2MsTUFpQ2JDLG1DQUF3QixFQUFHQyxjQUFpQixHQUM3QyxpQkFsQ2MsTUFrQ2JDLG1DQUF3QixFQUFHQyxzQkFBaUIsR0FDN0MsaUJBbkNjLE1BbUNiQyxtQ0FBd0IsRUFBR0Msc0JBQWlCLEdBQzdDLGlCQXBDYyxNQW9DYkMscUNBQTBCLEVBQUdDLGNBQW1CLEdBQ2pELGlCQXJDYyxNQXFDYkMsc0NBQTJCLEVBQUdDLHlCQUFvQixHQUNuRCxpQkF0Q2MsTUFzQ2JDLHNDQUEyQixFQUFHQyxnQkFBb0IsR0FDbkQsaUJBdkNjLE1BdUNiQyx1Q0FBNEIsRUFBR0Msa0JBQXFCLEdBQ3JELGlCQXhDYyxNQXdDYkMsdUNBQTRCLEVBQUdDLGtCQUFxQixHQUNyRCxpQkF6Q2MsTUF5Q2JDLHdDQUE2QixFQUFHQyxrQkFBc0IsR0FDdkQsaUJBMUNjLE1BMENiQyx3Q0FBNkIsRUFBR0Msa0JBQXNCLEdBQ3ZELGlCQTNDYyxNQTJDYkMseUNBQThCLEVBQUdDLGtCQUF1QixHQUN6RCxpQkE1Q2MsTUE0Q2JDLHlDQUE4QixFQUFHQyxrQkFBdUIsR0FDekQsaUJBN0NjLE1BNkNiQywyQ0FBZ0MsRUFBR0Msb0JBQXlCLEdBQzdELGlCQTlDYyxNQThDYkMsNENBQWlDLEVBQUdDLHFCQUEwQixHQUMvRCxpQkEvQ2MsTUErQ2JDLDZDQUFrQyxFQUFHQyxvQkFBMEIsR0FDaEUsaUJBaERjLE1BZ0RiQyw2Q0FBa0MsRUFBR0Msc0JBQTJCLEdBaERuRDtJQW1EaEIsV0FBZWhHIn0=

package/src/customGrammar/combined.js

@@ -1,36 +0,0 @@
-"use strict";
-
-import { eliminateLeftRecursion } from "occam-grammar-utilities";
-import { CombinedCustomGrammar as CombinedCustomGrammarBase } from "occam-custom-grammars";
-
-import Node from "../node";
-import nodeMap from "../nodeMap";
-
-export default class CombinedCustomGrammar extends CombinedCustomGrammarBase {
-  getCombinedRules() {
-    const rules = this.getRules(),
-          combinedRules = rules;  ///
-
-    return combinedRules;
-  }
-
-  postProcess(rules) {
-    const combinedRules = this.getCombinedRules();
-
-    rules = [ ///
-      ...rules,
-      ...combinedRules,
-    ];
-
-    rules.forEach((rule) => {
-      const ruleName = rule.getName(),
-            NonTerminalNode = nodeMap[ruleName] || Node; ///
-
-      rule.setNonTerminalNode(NonTerminalNode);
-    });
-
-    rules = eliminateLeftRecursion(rules);  ///
-
-    return rules;
-  }
-}