occam-verify-cli 1.0.166 → 1.0.168

package/lib/nominal/parser.js

@@ -0,0 +1,128 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", {
+    value: true
+});
+Object.defineProperty(exports, "default", {
+    enumerable: true,
+    get: function() {
+        return NominalParser;
+    }
+});
+var _occamgrammars = require("occam-grammars");
+var _node = /*#__PURE__*/ _interop_require_default(require("../node"));
+var _nodeMap = /*#__PURE__*/ _interop_require_default(require("../nodeMap"));
+var _parser = require("../utilities/parser");
+function _assert_this_initialized(self) {
+    if (self === void 0) {
+        throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
+    }
+    return self;
+}
+function _call_super(_this, derived, args) {
+    derived = _get_prototype_of(derived);
+    return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
+}
+function _class_call_check(instance, Constructor) {
+    if (!(instance instanceof Constructor)) {
+        throw new TypeError("Cannot call a class as a function");
+    }
+}
+function _defineProperties(target, props) {
+    for(var i = 0; i < props.length; i++){
+        var descriptor = props[i];
+        descriptor.enumerable = descriptor.enumerable || false;
+        descriptor.configurable = true;
+        if ("value" in descriptor) descriptor.writable = true;
+        Object.defineProperty(target, descriptor.key, descriptor);
+    }
+}
+function _create_class(Constructor, protoProps, staticProps) {
+    if (protoProps) _defineProperties(Constructor.prototype, protoProps);
+    if (staticProps) _defineProperties(Constructor, staticProps);
+    return Constructor;
+}
+function _get_prototype_of(o) {
+    _get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
+        return o.__proto__ || Object.getPrototypeOf(o);
+    };
+    return _get_prototype_of(o);
+}
+function _inherits(subClass, superClass) {
+    if (typeof superClass !== "function" && superClass !== null) {
+        throw new TypeError("Super expression must either be null or a function");
+    }
+    subClass.prototype = Object.create(superClass && superClass.prototype, {
+        constructor: {
+            value: subClass,
+            writable: true,
+            configurable: true
+        }
+    });
+    if (superClass) _set_prototype_of(subClass, superClass);
+}
+function _interop_require_default(obj) {
+    return obj && obj.__esModule ? obj : {
+        default: obj
+    };
+}
+function _possible_constructor_return(self, call) {
+    if (call && (_type_of(call) === "object" || typeof call === "function")) {
+        return call;
+    }
+    return _assert_this_initialized(self);
+}
+function _set_prototype_of(o, p) {
+    _set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
+        o.__proto__ = p;
+        return o;
+    };
+    return _set_prototype_of(o, p);
+}
+function _type_of(obj) {
+    "@swc/helpers - typeof";
+    return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
+}
+function _is_native_reflect_construct() {
+    try {
+        var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
+    } catch (_) {}
+    return (_is_native_reflect_construct = function() {
+        return !!result;
+    })();
+}
+var NominalParser = /*#__PURE__*/ function(NominalParserBase) {
+    _inherits(NominalParser, NominalParserBase);
+    function NominalParser() {
+        _class_call_check(this, NominalParser);
+        return _call_super(this, NominalParser, arguments);
+    }
+    _create_class(NominalParser, null, [
+        {
+            key: "fromBNF",
+            value: function fromBNF(bnf) {
+                var markdownParser = _occamgrammars.NominalParser.fromBNF(NominalParser, bnf), DefaultNonTerminalNode = _node.default; ///
+                (0, _parser.setNonTerminalNodes)(markdownParser, _nodeMap.default, DefaultNonTerminalNode);
+                return markdownParser;
+            }
+        },
+        {
+            key: "fromRules",
+            value: function fromRules(rules) {
+                var markdownParser = _occamgrammars.NominalParser.fromRules(NominalParser, rules), DefaultNonTerminalNode = _node.default; ///
+                (0, _parser.setNonTerminalNodes)(markdownParser, _nodeMap.default, DefaultNonTerminalNode);
+                return markdownParser;
+            }
+        },
+        {
+            key: "fromNothing",
+            value: function fromNothing() {
+                var markdownParser = _occamgrammars.NominalParser.fromNothing(NominalParser), DefaultNonTerminalNode = _node.default; ///
+                (0, _parser.setNonTerminalNodes)(markdownParser, _nodeMap.default, DefaultNonTerminalNode);
+                return markdownParser;
+            }
+        }
+    ]);
+    return NominalParser;
+}(_occamgrammars.NominalParser);
+
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub21pbmFsL3BhcnNlci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgTm9taW5hbFBhcnNlciBhcyBOb21pbmFsUGFyc2VyQmFzZSB9IGZyb20gXCJvY2NhbS1ncmFtbWFyc1wiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vbm9kZVwiO1xuaW1wb3J0IG5vZGVNYXAgZnJvbSBcIi4uL25vZGVNYXBcIjtcblxuaW1wb3J0IHsgc2V0Tm9uVGVybWluYWxOb2RlcyB9IGZyb20gXCIuLi91dGlsaXRpZXMvcGFyc2VyXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIE5vbWluYWxQYXJzZXIgZXh0ZW5kcyBOb21pbmFsUGFyc2VyQmFzZSB7XG4gIHN0YXRpYyBmcm9tQk5GKGJuZikge1xuICAgIGNvbnN0IG1hcmtkb3duUGFyc2VyID0gTm9taW5hbFBhcnNlckJhc2UuZnJvbUJORihOb21pbmFsUGFyc2VyLCBibmYpLFxuICAgICAgICAgIERlZmF1bHROb25UZXJtaW5hbE5vZGUgPSBOb2RlOyAgLy8vXG5cbiAgICBzZXROb25UZXJtaW5hbE5vZGVzKG1hcmtkb3duUGFyc2VyLCBub2RlTWFwLCBEZWZhdWx0Tm9uVGVybWluYWxOb2RlKTtcblxuICAgIHJldHVybiBtYXJrZG93blBhcnNlcjtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZXMocnVsZXMpIHtcbiAgICBjb25zdCBtYXJrZG93blBhcnNlciA9IE5vbWluYWxQYXJzZXJCYXNlLmZyb21SdWxlcyhOb21pbmFsUGFyc2VyLCBydWxlcyksXG4gICAgICAgICAgRGVmYXVsdE5vblRlcm1pbmFsTm9kZSA9IE5vZGU7ICAvLy9cblxuICAgIHNldE5vblRlcm1pbmFsTm9kZXMobWFya2Rvd25QYXJzZXIsIG5vZGVNYXAsIERlZmF1bHROb25UZXJtaW5hbE5vZGUpO1xuXG4gICAgcmV0dXJuIG1hcmtkb3duUGFyc2VyO1xuICB9XG5cbiAgc3RhdGljIGZyb21Ob3RoaW5nKCkge1xuICAgIGNvbnN0IG1hcmtkb3duUGFyc2VyID0gTm9taW5hbFBhcnNlckJhc2UuZnJvbU5vdGhpbmcoTm9taW5hbFBhcnNlciksXG4gICAgICAgICAgRGVmYXVsdE5vblRlcm1pbmFsTm9kZSA9IE5vZGU7ICAvLy9cblxuICAgIHNldE5vblRlcm1pbmFsTm9kZXMobWFya2Rvd25QYXJzZXIsIG5vZGVNYXAsIERlZmF1bHROb25UZXJtaW5hbE5vZGUpO1xuXG4gICAgcmV0dXJuIG1hcmtkb3duUGFyc2VyO1xuICB9XG59XG4iXSwibmFtZXMiOlsiTm9taW5hbFBhcnNlciIsImZyb21CTkYiLCJibmYiLCJtYXJrZG93blBhcnNlciIsIk5vbWluYWxQYXJzZXJCYXNlIiwiRGVmYXVsdE5vblRlcm1pbmFsTm9kZSIsIk5vZGUiLCJzZXROb25UZXJtaW5hbE5vZGVzIiwibm9kZU1hcCIsImZyb21SdWxlcyIsInJ1bGVzIiwiZnJvbU5vdGhpbmciXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBU3FCQTs7OzZCQVA4QjsyREFFbEM7OERBQ0c7c0JBRWdCOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRXJCLElBQUEsQUFBTUEsOEJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDWkMsS0FBQUE7bUJBQVAsU0FBT0EsUUFBUUMsR0FBRztnQkFDaEIsSUFBTUMsaUJBQWlCQyw0QkFBaUIsQ0FBQ0gsT0FBTyxDQUYvQkQsZUFFK0NFLE1BQzFERyx5QkFBeUJDLGFBQUksRUFBRyxHQUFHO2dCQUV6Q0MsSUFBQUEsMkJBQW1CLEVBQUNKLGdCQUFnQkssZ0JBQU8sRUFBRUg7Z0JBRTdDLE9BQU9GO1lBQ1Q7OztZQUVPTSxLQUFBQTttQkFBUCxTQUFPQSxVQUFVQyxLQUFLO2dCQUNwQixJQUFNUCxpQkFBaUJDLDRCQUFpQixDQUFDSyxTQUFTLENBWGpDVCxlQVdpRFUsUUFDNURMLHlCQUF5QkMsYUFBSSxFQUFHLEdBQUc7Z0JBRXpDQyxJQUFBQSwyQkFBbUIsRUFBQ0osZ0JBQWdCSyxnQkFBTyxFQUFFSDtnQkFFN0MsT0FBT0Y7WUFDVDs7O1lBRU9RLEtBQUFBO21CQUFQLFNBQU9BO2dCQUNMLElBQU1SLGlCQUFpQkMsNEJBQWlCLENBQUNPLFdBQVcsQ0FwQm5DWCxnQkFxQlhLLHlCQUF5QkMsYUFBSSxFQUFHLEdBQUc7Z0JBRXpDQyxJQUFBQSwyQkFBbUIsRUFBQ0osZ0JBQWdCSyxnQkFBTyxFQUFFSDtnQkFFN0MsT0FBT0Y7WUFDVDs7O1dBMUJtQkg7RUFBc0JJLDRCQUFpQiJ9

package/lib/ruleNames.js

@@ -0,0 +1,198 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", {
+    value: true
+});
+function _export(target, all) {
+    for(var name in all)Object.defineProperty(target, name, {
+        enumerable: true,
+        get: Object.getOwnPropertyDescriptor(all, name).get
+    });
+}
+_export(exports, {
+    get AXIOM_RULE_NAME () {
+        return AXIOM_RULE_NAME;
+    },
+    get COMBINATOR_DECLARATION_RULE_NAME () {
+        return COMBINATOR_DECLARATION_RULE_NAME;
+    },
+    get COMBINATOR_RULE_NAME () {
+        return COMBINATOR_RULE_NAME;
+    },
+    get COMPLEX_TYPE_DECLARATION_RULE_NAME () {
+        return COMPLEX_TYPE_DECLARATION_RULE_NAME;
+    },
+    get CONCLUSION_RULE_NAME () {
+        return CONCLUSION_RULE_NAME;
+    },
+    get CONJECTURE_RULE_NAME () {
+        return CONJECTURE_RULE_NAME;
+    },
+    get CONSTRUCTOR_DECLARATION_RULE_NAME () {
+        return CONSTRUCTOR_DECLARATION_RULE_NAME;
+    },
+    get CONSTRUCTOR_RULE_NAME () {
+        return CONSTRUCTOR_RULE_NAME;
+    },
+    get CONTAINED_ASSERTION_RULE_NAME () {
+        return CONTAINED_ASSERTION_RULE_NAME;
+    },
+    get DECLARATION_RULE_NAME () {
+        return DECLARATION_RULE_NAME;
+    },
+    get DEDUCTION_RULE_NAME () {
+        return DEDUCTION_RULE_NAME;
+    },
+    get DEFINED_ASSERTION_RULE_NAME () {
+        return DEFINED_ASSERTION_RULE_NAME;
+    },
+    get DERIVATION_RULE_NAME () {
+        return DERIVATION_RULE_NAME;
+    },
+    get EQUALITY_RULE_NAME () {
+        return EQUALITY_RULE_NAME;
+    },
+    get ERROR_RULE_NAME () {
+        return ERROR_RULE_NAME;
+    },
+    get FRAME_RULE_NAME () {
+        return FRAME_RULE_NAME;
+    },
+    get JUDGEMENT_RULE_NAME () {
+        return JUDGEMENT_RULE_NAME;
+    },
+    get LABEL_RULE_NAME () {
+        return LABEL_RULE_NAME;
+    },
+    get LEMMA_RULE_NAME () {
+        return LEMMA_RULE_NAME;
+    },
+    get METATHEOREM_RULE_NAME () {
+        return METATHEOREM_RULE_NAME;
+    },
+    get METAVARIABLE_DECLARATION_RULE_NAME () {
+        return METAVARIABLE_DECLARATION_RULE_NAME;
+    },
+    get METAVARIABLE_RULE_NAME () {
+        return METAVARIABLE_RULE_NAME;
+    },
+    get META_LEMMA_RULE_NAME () {
+        return META_LEMMA_RULE_NAME;
+    },
+    get META_TYPE_RULE_NAME () {
+        return META_TYPE_RULE_NAME;
+    },
+    get PARAMETER_RULE_NAME () {
+        return PARAMETER_RULE_NAME;
+    },
+    get PREMISE_RULE_NAME () {
+        return PREMISE_RULE_NAME;
+    },
+    get PROCEDURE_CALL_RULE_NAME () {
+        return PROCEDURE_CALL_RULE_NAME;
+    },
+    get PROOF_RULE_NAME () {
+        return PROOF_RULE_NAME;
+    },
+    get PROPERTY_ASSERTION_RULE_NAME () {
+        return PROPERTY_ASSERTION_RULE_NAME;
+    },
+    get PROPERTY_RELATION_RULE_NAME () {
+        return PROPERTY_RELATION_RULE_NAME;
+    },
+    get PROPERTY_RULE_NAME () {
+        return PROPERTY_RULE_NAME;
+    },
+    get REFERENCE_RULE_NAME () {
+        return REFERENCE_RULE_NAME;
+    },
+    get RULE_RULE_NAME () {
+        return RULE_RULE_NAME;
+    },
+    get SATISFIES_ASSERTION_RULE_NAME () {
+        return SATISFIES_ASSERTION_RULE_NAME;
+    },
+    get STATEMENT_RULE_NAME () {
+        return STATEMENT_RULE_NAME;
+    },
+    get STEP_RULE_NAME () {
+        return STEP_RULE_NAME;
+    },
+    get SUBPROOF_ASSERTION_RULE_NAME () {
+        return SUBPROOF_ASSERTION_RULE_NAME;
+    },
+    get SUBPROOF_RULE_NAME () {
+        return SUBPROOF_RULE_NAME;
+    },
+    get SUB_DERIVATION_RULE_NAME () {
+        return SUB_DERIVATION_RULE_NAME;
+    },
+    get SUPPOSITION_RULE_NAME () {
+        return SUPPOSITION_RULE_NAME;
+    },
+    get TERM_RULE_NAME () {
+        return TERM_RULE_NAME;
+    },
+    get THEOREM_RULE_NAME () {
+        return THEOREM_RULE_NAME;
+    },
+    get TYPE_ASSERTION_RULE_NAME () {
+        return TYPE_ASSERTION_RULE_NAME;
+    },
+    get TYPE_DECLARATION_RULE_NAME () {
+        return TYPE_DECLARATION_RULE_NAME;
+    },
+    get TYPE_RULE_NAME () {
+        return TYPE_RULE_NAME;
+    },
+    get VARIABLE_DECLARATION_RULE_NAME () {
+        return VARIABLE_DECLARATION_RULE_NAME;
+    }
+});
+var RULE_RULE_NAME = "rule";
+var STEP_RULE_NAME = "step";
+var TERM_RULE_NAME = "term";
+var TYPE_RULE_NAME = "type";
+var LABEL_RULE_NAME = "label";
+var LEMMA_RULE_NAME = "lemma";
+var AXIOM_RULE_NAME = "axiom";
+var ERROR_RULE_NAME = "error";
+var FRAME_RULE_NAME = "frame";
+var PROOF_RULE_NAME = "proof";
+var THEOREM_RULE_NAME = "theorem";
+var PREMISE_RULE_NAME = "premise";
+var PROPERTY_RULE_NAME = "property";
+var EQUALITY_RULE_NAME = "equality";
+var SUBPROOF_RULE_NAME = "subproof";
+var PARAMETER_RULE_NAME = "parameter";
+var META_TYPE_RULE_NAME = "metaType";
+var DEDUCTION_RULE_NAME = "deduction";
+var JUDGEMENT_RULE_NAME = "judgement";
+var REFERENCE_RULE_NAME = "reference";
+var STATEMENT_RULE_NAME = "statement";
+var COMBINATOR_RULE_NAME = "combinator";
+var CONCLUSION_RULE_NAME = "conclusion";
+var CONJECTURE_RULE_NAME = "conjecture";
+var DERIVATION_RULE_NAME = "derivation";
+var META_LEMMA_RULE_NAME = "metaLemma";
+var SUPPOSITION_RULE_NAME = "supposition";
+var CONSTRUCTOR_RULE_NAME = "constructor";
+var DECLARATION_RULE_NAME = "declaration";
+var METATHEOREM_RULE_NAME = "metatheorem";
+var METAVARIABLE_RULE_NAME = "metavariable";
+var PROCEDURE_CALL_RULE_NAME = "procedureCall";
+var SUB_DERIVATION_RULE_NAME = "subDerivation";
+var TYPE_ASSERTION_RULE_NAME = "typeAssertion";
+var TYPE_DECLARATION_RULE_NAME = "typeDeclaration";
+var PROPERTY_RELATION_RULE_NAME = "propertyRelation";
+var DEFINED_ASSERTION_RULE_NAME = "definedAssertion";
+var PROPERTY_ASSERTION_RULE_NAME = "propertyAssertion";
+var SUBPROOF_ASSERTION_RULE_NAME = "subproofAssertion";
+var CONTAINED_ASSERTION_RULE_NAME = "containedAssertion";
+var SATISFIES_ASSERTION_RULE_NAME = "satisfiesAssertion";
+var VARIABLE_DECLARATION_RULE_NAME = "variableDeclaration";
+var COMBINATOR_DECLARATION_RULE_NAME = "combinatorDeclaration";
+var CONSTRUCTOR_DECLARATION_RULE_NAME = "constructorDeclaration";
+var COMPLEX_TYPE_DECLARATION_RULE_NAME = "complexTypeDeclaration";
+var METAVARIABLE_DECLARATION_RULE_NAME = "metavariableDeclaration";
+
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9ydWxlTmFtZXMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmV4cG9ydCBjb25zdCBSVUxFX1JVTEVfTkFNRSA9IFwicnVsZVwiO1xuZXhwb3J0IGNvbnN0IFNURVBfUlVMRV9OQU1FID0gXCJzdGVwXCI7XG5leHBvcnQgY29uc3QgVEVSTV9SVUxFX05BTUUgPSBcInRlcm1cIjtcbmV4cG9ydCBjb25zdCBUWVBFX1JVTEVfTkFNRSA9IFwidHlwZVwiO1xuZXhwb3J0IGNvbnN0IExBQkVMX1JVTEVfTkFNRSA9IFwibGFiZWxcIjtcbmV4cG9ydCBjb25zdCBMRU1NQV9SVUxFX05BTUUgPSBcImxlbW1hXCI7XG5leHBvcnQgY29uc3QgQVhJT01fUlVMRV9OQU1FID0gXCJheGlvbVwiO1xuZXhwb3J0IGNvbnN0IEVSUk9SX1JVTEVfTkFNRSA9IFwiZXJyb3JcIjtcbmV4cG9ydCBjb25zdCBGUkFNRV9SVUxFX05BTUUgPSBcImZyYW1lXCI7XG5leHBvcnQgY29uc3QgUFJPT0ZfUlVMRV9OQU1FID0gXCJwcm9vZlwiO1xuZXhwb3J0IGNvbnN0IFRIRU9SRU1fUlVMRV9OQU1FID0gXCJ0aGVvcmVtXCI7XG5leHBvcnQgY29uc3QgUFJFTUlTRV9SVUxFX05BTUUgPSBcInByZW1pc2VcIjtcbmV4cG9ydCBjb25zdCBQUk9QRVJUWV9SVUxFX05BTUUgPSBcInByb3BlcnR5XCI7XG5leHBvcnQgY29uc3QgRVFVQUxJVFlfUlVMRV9OQU1FID0gXCJlcXVhbGl0eVwiO1xuZXhwb3J0IGNvbnN0IFNVQlBST09GX1JVTEVfTkFNRSA9IFwic3VicHJvb2ZcIjtcbmV4cG9ydCBjb25zdCBQQVJBTUVURVJfUlVMRV9OQU1FID0gXCJwYXJhbWV0ZXJcIjtcbmV4cG9ydCBjb25zdCBNRVRBX1RZUEVfUlVMRV9OQU1FID0gXCJtZXRhVHlwZVwiO1xuZXhwb3J0IGNvbnN0IERFRFVDVElPTl9SVUxFX05BTUUgPSBcImRlZHVjdGlvblwiO1xuZXhwb3J0IGNvbnN0IEpVREdFTUVOVF9SVUxFX05BTUUgPSBcImp1ZGdlbWVudFwiO1xuZXhwb3J0IGNvbnN0IFJFRkVSRU5DRV9SVUxFX05BTUUgPSBcInJlZmVyZW5jZVwiO1xuZXhwb3J0IGNvbnN0IFNUQVRFTUVOVF9SVUxFX05BTUUgPSBcInN0YXRlbWVudFwiO1xuZXhwb3J0IGNvbnN0IENPTUJJTkFUT1JfUlVMRV9OQU1FID0gXCJjb21iaW5hdG9yXCI7XG5leHBvcnQgY29uc3QgQ09OQ0xVU0lPTl9SVUxFX05BTUUgPSBcImNvbmNsdXNpb25cIjtcbmV4cG9ydCBjb25zdCBDT05KRUNUVVJFX1JVTEVfTkFNRSA9IFwiY29uamVjdHVyZVwiO1xuZXhwb3J0IGNvbnN0IERFUklWQVRJT05fUlVMRV9OQU1FID0gXCJkZXJpdmF0aW9uXCI7XG5leHBvcnQgY29uc3QgTUVUQV9MRU1NQV9SVUxFX05BTUUgPSBcIm1ldGFMZW1tYVwiO1xuZXhwb3J0IGNvbnN0IFNVUFBPU0lUSU9OX1JVTEVfTkFNRSA9IFwic3VwcG9zaXRpb25cIjtcbmV4cG9ydCBjb25zdCBDT05TVFJVQ1RPUl9SVUxFX05BTUUgPSBcImNvbnN0cnVjdG9yXCI7XG5leHBvcnQgY29uc3QgREVDTEFSQVRJT05fUlVMRV9OQU1FID0gXCJkZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IE1FVEFUSEVPUkVNX1JVTEVfTkFNRSA9IFwibWV0YXRoZW9yZW1cIjtcbmV4cG9ydCBjb25zdCBNRVRBVkFSSUFCTEVfUlVMRV9OQU1FID0gXCJtZXRhdmFyaWFibGVcIjtcbmV4cG9ydCBjb25zdCBQUk9DRURVUkVfQ0FMTF9SVUxFX05BTUUgPSBcInByb2NlZHVyZUNhbGxcIjtcbmV4cG9ydCBjb25zdCBTVUJfREVSSVZBVElPTl9SVUxFX05BTUUgPSBcInN1YkRlcml2YXRpb25cIjtcbmV4cG9ydCBjb25zdCBUWVBFX0FTU0VSVElPTl9SVUxFX05BTUUgPSBcInR5cGVBc3NlcnRpb25cIjtcbmV4cG9ydCBjb25zdCBUWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSA9IFwidHlwZURlY2xhcmF0aW9uXCI7XG5leHBvcnQgY29uc3QgUFJPUEVSVFlfUkVMQVRJT05fUlVMRV9OQU1FID0gXCJwcm9wZXJ0eVJlbGF0aW9uXCI7XG5leHBvcnQgY29uc3QgREVGSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FID0gXCJkZWZpbmVkQXNzZXJ0aW9uXCI7XG5leHBvcnQgY29uc3QgUFJPUEVSVFlfQVNTRVJUSU9OX1JVTEVfTkFNRSA9IFwicHJvcGVydHlBc3NlcnRpb25cIjtcbmV4cG9ydCBjb25zdCBTVUJQUk9PRl9BU1NFUlRJT05fUlVMRV9OQU1FID0gXCJzdWJwcm9vZkFzc2VydGlvblwiO1xuZXhwb3J0IGNvbnN0IENPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FID0gXCJjb250YWluZWRBc3NlcnRpb25cIjtcbmV4cG9ydCBjb25zdCBTQVRJU0ZJRVNfQVNTRVJUSU9OX1JVTEVfTkFNRSA9IFwic2F0aXNmaWVzQXNzZXJ0aW9uXCI7XG5leHBvcnQgY29uc3QgVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FID0gXCJ2YXJpYWJsZURlY2xhcmF0aW9uXCI7XG5leHBvcnQgY29uc3QgQ09NQklOQVRPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcImNvbWJpbmF0b3JEZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IENPTlNUUlVDVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSA9IFwiY29uc3RydWN0b3JEZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IENPTVBMRVhfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcImNvbXBsZXhUeXBlRGVjbGFyYXRpb25cIjtcbmV4cG9ydCBjb25zdCBNRVRBVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FID0gXCJtZXRhdmFyaWFibGVEZWNsYXJhdGlvblwiO1xuIl0sIm5hbWVzIjpbIkFYSU9NX1JVTEVfTkFNRSIsIkNPTUJJTkFUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiQ09NQklOQVRPUl9SVUxFX05BTUUiLCJDT01QTEVYX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiQ09OQ0xVU0lPTl9SVUxFX05BTUUiLCJDT05KRUNUVVJFX1JVTEVfTkFNRSIsIkNPTlNUUlVDVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIkNPTlNUUlVDVE9SX1JVTEVfTkFNRSIsIkNPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FIiwiREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiREVEVUNUSU9OX1JVTEVfTkFNRSIsIkRFRklORURfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIkRFUklWQVRJT05fUlVMRV9OQU1FIiwiRVFVQUxJVFlfUlVMRV9OQU1FIiwiRVJST1JfUlVMRV9OQU1FIiwiRlJBTUVfUlVMRV9OQU1FIiwiSlVER0VNRU5UX1JVTEVfTkFNRSIsIkxBQkVMX1JVTEVfTkFNRSIsIkxFTU1BX1JVTEVfTkFNRSIsIk1FVEFUSEVPUkVNX1JVTEVfTkFNRSIsIk1FVEFWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJNRVRBVkFSSUFCTEVfUlVMRV9OQU1FIiwiTUVUQV9MRU1NQV9SVUxFX05BTUUiLCJNRVRBX1RZUEVfUlVMRV9OQU1FIiwiUEFSQU1FVEVSX1JVTEVfTkFNRSIsIlBSRU1JU0VfUlVMRV9OQU1FIiwiUFJPQ0VEVVJFX0NBTExfUlVMRV9OQU1FIiwiUFJPT0ZfUlVMRV9OQU1FIiwiUFJPUEVSVFlfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlBST1BFUlRZX1JFTEFUSU9OX1JVTEVfTkFNRSIsIlBST1BFUlRZX1JVTEVfTkFNRSIsIlJFRkVSRU5DRV9SVUxFX05BTUUiLCJSVUxFX1JVTEVfTkFNRSIsIlNBVElTRklFU19BU1NFUlRJT05fUlVMRV9OQU1FIiwiU1RBVEVNRU5UX1JVTEVfTkFNRSIsIlNURVBfUlVMRV9OQU1FIiwiU1VCUFJPT0ZfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlNVQlBST09GX1JVTEVfTkFNRSIsIlNVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRSIsIlNVUFBPU0lUSU9OX1JVTEVfTkFNRSIsIlRFUk1fUlVMRV9OQU1FIiwiVEhFT1JFTV9SVUxFX05BTUUiLCJUWVBFX0FTU0VSVElPTl9SVUxFX05BTUUiLCJUWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIlRZUEVfUlVMRV9OQU1FIiwiVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7UUFRYUE7ZUFBQUE7O1FBb0NBQztlQUFBQTs7UUFyQkFDO2VBQUFBOztRQXVCQUM7ZUFBQUE7O1FBdEJBQztlQUFBQTs7UUFDQUM7ZUFBQUE7O1FBb0JBQztlQUFBQTs7UUFoQkFDO2VBQUFBOztRQVlBQztlQUFBQTs7UUFYQUM7ZUFBQUE7O1FBWEFDO2VBQUFBOztRQW1CQUM7ZUFBQUE7O1FBWkFDO2VBQUFBOztRQVhBQztlQUFBQTs7UUFOQUM7ZUFBQUE7O1FBQ0FDO2VBQUFBOztRQVVBQztlQUFBQTs7UUFkQUM7ZUFBQUE7O1FBQ0FDO2VBQUFBOztRQXdCQUM7ZUFBQUE7O1FBZ0JBQztlQUFBQTs7UUFmQUM7ZUFBQUE7O1FBTEFDO2VBQUFBOztRQVRBQztlQUFBQTs7UUFEQUM7ZUFBQUE7O1FBSkFDO2VBQUFBOztRQW9CQUM7ZUFBQUE7O1FBdEJBQztlQUFBQTs7UUE0QkFDO2VBQUFBOztRQUZBQztlQUFBQTs7UUF2QkFDO2VBQUFBOztRQU9BQztlQUFBQTs7UUFuQkFDO2VBQUFBOztRQXdDQUM7ZUFBQUE7O1FBcEJBQztlQUFBQTs7UUFuQkFDO2VBQUFBOztRQXFDQUM7ZUFBQUE7O1FBeEJBQztlQUFBQTs7UUFrQkFDO2VBQUFBOztRQU5BQztlQUFBQTs7UUF4QkFDO2VBQUFBOztRQVFBQztlQUFBQTs7UUF1QkFDO2VBQUFBOztRQUNBQztlQUFBQTs7UUEvQkFDO2VBQUFBOztRQXNDQUM7ZUFBQUE7OztBQXpDTixJQUFNYixpQkFBaUI7QUFDdkIsSUFBTUcsaUJBQWlCO0FBQ3ZCLElBQU1LLGlCQUFpQjtBQUN2QixJQUFNSSxpQkFBaUI7QUFDdkIsSUFBTTNCLGtCQUFrQjtBQUN4QixJQUFNQyxrQkFBa0I7QUFDeEIsSUFBTWxCLGtCQUFrQjtBQUN4QixJQUFNYyxrQkFBa0I7QUFDeEIsSUFBTUMsa0JBQWtCO0FBQ3hCLElBQU1ZLGtCQUFrQjtBQUN4QixJQUFNYyxvQkFBb0I7QUFDMUIsSUFBTWhCLG9CQUFvQjtBQUMxQixJQUFNSyxxQkFBcUI7QUFDM0IsSUFBTWpCLHFCQUFxQjtBQUMzQixJQUFNd0IscUJBQXFCO0FBQzNCLElBQU1iLHNCQUFzQjtBQUM1QixJQUFNRCxzQkFBc0I7QUFDNUIsSUFBTWIsc0JBQXNCO0FBQzVCLElBQU1NLHNCQUFzQjtBQUM1QixJQUFNZSxzQkFBc0I7QUFDNUIsSUFBTUcsc0JBQXNCO0FBQzVCLElBQU1oQyx1QkFBdUI7QUFDN0IsSUFBTUUsdUJBQXVCO0FBQzdCLElBQU1DLHVCQUF1QjtBQUM3QixJQUFNTyx1QkFBdUI7QUFDN0IsSUFBTVUsdUJBQXVCO0FBQzdCLElBQU1pQix3QkFBd0I7QUFDOUIsSUFBTWhDLHdCQUF3QjtBQUM5QixJQUFNRSx3QkFBd0I7QUFDOUIsSUFBTVUsd0JBQXdCO0FBQzlCLElBQU1FLHlCQUF5QjtBQUMvQixJQUFNSywyQkFBMkI7QUFDakMsSUFBTVksMkJBQTJCO0FBQ2pDLElBQU1JLDJCQUEyQjtBQUNqQyxJQUFNQyw2QkFBNkI7QUFDbkMsSUFBTWQsOEJBQThCO0FBQ3BDLElBQU1sQiw4QkFBOEI7QUFDcEMsSUFBTWlCLCtCQUErQjtBQUNyQyxJQUFNUSwrQkFBK0I7QUFDckMsSUFBTTVCLGdDQUFnQztBQUN0QyxJQUFNeUIsZ0NBQWdDO0FBQ3RDLElBQU1ZLGlDQUFpQztBQUN2QyxJQUFNNUMsbUNBQW1DO0FBQ3pDLElBQU1LLG9DQUFvQztBQUMxQyxJQUFNSCxxQ0FBcUM7QUFDM0MsSUFBTWlCLHFDQUFxQyJ9

package/lib/utilities/parser.js

@@ -0,0 +1,21 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", {
+    value: true
+});
+Object.defineProperty(exports, "setNonTerminalNodes", {
+    enumerable: true,
+    get: function() {
+        return setNonTerminalNodes;
+    }
+});
+var _occamparsers = require("occam-parsers");
+var rulesFromStartRuleAndRuleMap = _occamparsers.rulesUtilities.rulesFromStartRuleAndRuleMap;
+function setNonTerminalNodes(parser, nodeMap, DefaultNonTerminalNode) {
+    var startRule = parser.getStartRule(), ruleMap = parser.getRuleMap(), rules = rulesFromStartRuleAndRuleMap(startRule, ruleMap);
+    rules.forEach(function(rule) {
+        var ruleName = rule.getName(), NonTerminalNode = nodeMap[ruleName] || DefaultNonTerminalNode; ///
+        rule.setNonTerminalNode(NonTerminalNode);
+    });
+}
+
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvcGFyc2VyLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBydWxlc1V0aWxpdGllcyB9IGZyb20gXCJvY2NhbS1wYXJzZXJzXCI7XG5cbmNvbnN0IHsgcnVsZXNGcm9tU3RhcnRSdWxlQW5kUnVsZU1hcCB9ID0gcnVsZXNVdGlsaXRpZXM7XG5cbmV4cG9ydCBmdW5jdGlvbiBzZXROb25UZXJtaW5hbE5vZGVzKHBhcnNlciwgbm9kZU1hcCwgRGVmYXVsdE5vblRlcm1pbmFsTm9kZSkge1xuICBjb25zdCBzdGFydFJ1bGUgPSBwYXJzZXIuZ2V0U3RhcnRSdWxlKCksXG4gICAgICAgIHJ1bGVNYXAgPSBwYXJzZXIuZ2V0UnVsZU1hcCgpLFxuICAgICAgICBydWxlcyA9IHJ1bGVzRnJvbVN0YXJ0UnVsZUFuZFJ1bGVNYXAoc3RhcnRSdWxlLCBydWxlTWFwKTtcblxuICBydWxlcy5mb3JFYWNoKChydWxlKSA9PiB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBydWxlLmdldE5hbWUoKSxcbiAgICAgICAgICBOb25UZXJtaW5hbE5vZGUgPSBub2RlTWFwW3J1bGVOYW1lXSB8fCBEZWZhdWx0Tm9uVGVybWluYWxOb2RlOyAvLy9cblxuICAgIHJ1bGUuc2V0Tm9uVGVybWluYWxOb2RlKE5vblRlcm1pbmFsTm9kZSk7XG4gIH0pO1xufVxuIl0sIm5hbWVzIjpbInNldE5vblRlcm1pbmFsTm9kZXMiLCJydWxlc0Zyb21TdGFydFJ1bGVBbmRSdWxlTWFwIiwicnVsZXNVdGlsaXRpZXMiLCJwYXJzZXIiLCJub2RlTWFwIiwiRGVmYXVsdE5vblRlcm1pbmFsTm9kZSIsInN0YXJ0UnVsZSIsImdldFN0YXJ0UnVsZSIsInJ1bGVNYXAiLCJnZXRSdWxlTWFwIiwicnVsZXMiLCJmb3JFYWNoIiwicnVsZSIsInJ1bGVOYW1lIiwiZ2V0TmFtZSIsIk5vblRlcm1pbmFsTm9kZSIsInNldE5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBTWdCQTs7O2VBQUFBOzs7NEJBSmU7QUFFL0IsSUFBTSxBQUFFQywrQkFBaUNDLDRCQUFjLENBQS9DRDtBQUVELFNBQVNELG9CQUFvQkcsTUFBTSxFQUFFQyxPQUFPLEVBQUVDLHNCQUFzQjtJQUN6RSxJQUFNQyxZQUFZSCxPQUFPSSxZQUFZLElBQy9CQyxVQUFVTCxPQUFPTSxVQUFVLElBQzNCQyxRQUFRVCw2QkFBNkJLLFdBQVdFO0lBRXRERSxNQUFNQyxPQUFPLENBQUMsU0FBQ0M7UUFDYixJQUFNQyxXQUFXRCxLQUFLRSxPQUFPLElBQ3ZCQyxrQkFBa0JYLE9BQU8sQ0FBQ1MsU0FBUyxJQUFJUix3QkFBd0IsR0FBRztRQUV4RU8sS0FBS0ksa0JBQWtCLENBQUNEO0lBQzFCO0FBQ0YifQ==

package/lib/utilities/type.js

@@ -0,0 +1,23 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", {
+    value: true
+});
+Object.defineProperty(exports, "superTypesStringFromSuperTypes", {
+    enumerable: true,
+    get: function() {
+        return superTypesStringFromSuperTypes;
+    }
+});
+var _type = require("../dom/type");
+function superTypesStringFromSuperTypes(superTypes) {
+    var superTypesString = superTypes.reduce(function(superTypesString, superType) {
+        if (superType !== _type.objectType) {
+            var superTypeString = superType.getString();
+            superTypesString = superTypesString === null ? "'".concat(superTypeString, "'") : "".concat(superTypesString, ", '").concat(superTypeString, "'");
+        }
+        return superTypesString;
+    }, null);
+    return superTypesString;
+}
+
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvdHlwZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgb2JqZWN0VHlwZSB9IGZyb20gXCIuLi9kb20vdHlwZVwiO1xuXG5leHBvcnQgZnVuY3Rpb24gc3VwZXJUeXBlc1N0cmluZ0Zyb21TdXBlclR5cGVzKHN1cGVyVHlwZXMpIHtcbiAgY29uc3Qgc3VwZXJUeXBlc1N0cmluZyA9IHN1cGVyVHlwZXMucmVkdWNlKChzdXBlclR5cGVzU3RyaW5nLCBzdXBlclR5cGUpID0+IHtcbiAgICBpZiAoc3VwZXJUeXBlICE9PSBvYmplY3RUeXBlKSB7XG4gICAgICBjb25zdCBzdXBlclR5cGVTdHJpbmcgPSBzdXBlclR5cGUuZ2V0U3RyaW5nKCk7XG5cbiAgICAgIHN1cGVyVHlwZXNTdHJpbmcgPSAoc3VwZXJUeXBlc1N0cmluZyA9PT0gbnVsbCkgP1xuICAgICAgICAgICAgICAgICAgICAgICAgICAgYCcke3N1cGVyVHlwZVN0cmluZ30nYCA6XG4gICAgICAgICAgICAgICAgICAgICAgICAgICAgIGAke3N1cGVyVHlwZXNTdHJpbmd9LCAnJHtzdXBlclR5cGVTdHJpbmd9J2A7XG4gICAgfVxuXG4gICAgcmV0dXJuIHN1cGVyVHlwZXNTdHJpbmc7XG4gIH0sIG51bGwpO1xuXG4gIHJldHVybiBzdXBlclR5cGVzU3RyaW5nO1xufVxuIl0sIm5hbWVzIjpbInN1cGVyVHlwZXNTdHJpbmdGcm9tU3VwZXJUeXBlcyIsInN1cGVyVHlwZXMiLCJzdXBlclR5cGVzU3RyaW5nIiwicmVkdWNlIiwic3VwZXJUeXBlIiwib2JqZWN0VHlwZSIsInN1cGVyVHlwZVN0cmluZyIsImdldFN0cmluZyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBSWdCQTs7O2VBQUFBOzs7b0JBRlc7QUFFcEIsU0FBU0EsK0JBQStCQyxVQUFVO0lBQ3ZELElBQU1DLG1CQUFtQkQsV0FBV0UsTUFBTSxDQUFDLFNBQUNELGtCQUFrQkU7UUFDNUQsSUFBSUEsY0FBY0MsZ0JBQVUsRUFBRTtZQUM1QixJQUFNQyxrQkFBa0JGLFVBQVVHLFNBQVM7WUFFM0NMLG1CQUFtQixBQUFDQSxxQkFBcUIsT0FDcEIsQUFBQyxJQUFtQixPQUFoQkksaUJBQWdCLE9BQ2xCLEFBQUMsR0FBd0JBLE9BQXRCSixrQkFBaUIsT0FBcUIsT0FBaEJJLGlCQUFnQjtRQUNsRTtRQUVBLE9BQU9KO0lBQ1QsR0FBRztJQUVILE9BQU9BO0FBQ1QifQ==

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "occam-verify-cli",
   "author": "James Smith",
-  "version": "1.0.166",
+  "version": "1.0.168",
   "license": "MIT, Anti-996",
   "homepage": "https://github.com/djalbat/occam-verify-cli",
   "description": "Occam's Verifier",
@@ -17,8 +17,9 @@
     "occam-file-system": "^6.0.373",
     "occam-furtle": "^2.0.152",
     "occam-grammar-utilities": "^8.0.325",
+    "occam-grammars": "^1.3.276",
     "occam-lexers": "^23.0.47",
-    "occam-parsers": "^23.0.143",
+    "occam-parsers": "^23.0.146",
     "occam-query": "^4.1.94"
   },
   "devDependencies": {

package/src/assignment/variable.js

@@ -14,12 +14,12 @@ export default class VariableAssignment {
           variableAdded = context.addVariable(this.variable, nested),
           variableType = this.variable.getType(),
           variableString = this.variable.getString(),
-          variableTypeName = variableType.getName(),
-          variableAssigned = variableAdded; ///
+          variableAssigned = variableAdded, ///
+          variableTypeString = variableType.getString();
 
     variableAssigned ?
-      context.trace(`Assigned the '${variableString}' variable with type '${variableTypeName}'.`) :
-        context.debug(`Unable to assign the '${variableString}' variable with type '${variableTypeName}'.`);
+      context.trace(`Assigned the '${variableString}' variable with type '${variableTypeString}'.`) :
+        context.debug(`Unable to assign the '${variableString}' variable with type '${variableTypeString}'.`);
 
     return variableAssigned;
   }

package/src/context/file.js

@@ -11,18 +11,18 @@ import { nodeAsTokens, nodeAsString, nodesAsString, tokensAsString } from "../ut
 import { typesFromJSON,
          rulesFromJSON,
          axiomsFromJSON,
+         typesToTypesJSON,
+         rulesToRulesJSON,
          theoremsFromJSON,
          variablesFromJSON,
+         lemmasFromNothing,
+         axiomsToAxiomsJSON,
          conjecturesFromJSON,
          combinatorsFromJSON,
          constructorsFromJSON,
          metatheoremsFromJSON,
          metavariablesFromJSON,
-         lemmasFromNothing,
          metaLemmasFromNothing,
-         typesToTypesJSON,
-         rulesToRulesJSON,
-         axiomsToAxiomsJSON,
          theoremsToTheoremsJSON,
          variablesToVariablesJSON,
          conjecturesToConjecturesJSON,
@@ -561,7 +561,10 @@ export default class FileContext {
   findTypeByTypeName(typeName) {
     let types = this.getTypes();
 
-    types.push(objectType);
+    types = [
+      ...types,
+      objectType
+    ];
 
     const type = types.find((type) => {
       const typeNameMatches = type.matchTypeName(typeName);
@@ -667,9 +670,9 @@ export default class FileContext {
 
   isTypePresentByTypeName(typeName) {
     const type = this.findTypeByTypeName(typeName),
-          typeDeclared = (type !== null);
+          typePresent = (type !== null);
 
-    return typeDeclared;
+    return typePresent;
   }
 
   isVariablePresentByVariableName(variableName) {

package/src/context/release.js

@@ -7,6 +7,8 @@ import { filePathUtilities } from "occam-entities";
 import { lexersUtilities, parsersUtilities } from "occam-custom-grammars";
 
 import FileContext from "../context/file";
+import NominalLexer from "../nominal/lexer";
+import NominalParser from "../nominal/parser";
 
 import { objectType } from "../dom/type";
 import { frameMetaType, referenceMetaType, statementMetaType } from "../dom/metaType";
@@ -379,7 +381,10 @@ export default class ReleaseContext {
   findTypeByTypeName(typeName) {
     let types = this.getTypes();
 
-    types.push(objectType);
+    types = [
+      ...types,
+      objectType
+    ];
 
     const type = types.find((type) => {
       const typeNameMatches = type.matchTypeName(typeName);
@@ -421,8 +426,8 @@ export default class ReleaseContext {
 
   initialise(releaseContexts) {
     const combinedCustomGrammar = combinedCustomGrammarFromReleaseContexts(releaseContexts),
-          nominalLexer = nominalLexerFromCombinedCustomGrammar(combinedCustomGrammar),
-          nominalParser = nominalParserFromCombinedCustomGrammar(combinedCustomGrammar),
+          nominalLexer = nominalLexerFromCombinedCustomGrammar(NominalLexer, combinedCustomGrammar),
+          nominalParser = nominalParserFromCombinedCustomGrammar(NominalParser, combinedCustomGrammar),
           releaseContext = this,  ///
           released = this.isReleased();
 

package/src/dom/assertion/type.js

@@ -4,7 +4,6 @@ import dom from "../../dom";
 import VariableAssignment from "../../assignment/variable";
 
 import { nodeQuery } from "../../utilities/query";
-import { objectType } from "../type";
 import { domAssigned } from "../../dom";
 
 const variableNodeQuery = nodeQuery("/term/variable!"),
@@ -67,26 +66,22 @@ export default domAssigned(class TypeAssertion {
   verifyType(context) {
     let typeVerified;
 
-    if (this.type === objectType) {
-      typeVerified = true;
-    } else {
-      const typeName = this.type.getName();
+    const typeString = this.type.getString();
 
-      context.trace(`Verifying the '${typeName}' type...`);
+    context.trace(`Verifying the '${typeString}' type...`);
 
-      const type = context.findTypeByTypeName(typeName);
+    const type = context.findTypeByTypeName(typeString);
 
-      if (type !== null) {
-        this.type = type;
+    if (type !== null) {
+      this.type = type;
 
-        typeVerified = true;
-      } else {
-        context.debug(`The '${typeName}' type is not present.`);
-      }
+      typeVerified = true;
+    } else {
+      context.debug(`The '${typeString}' type is not present.`);
+    }
 
-      if (typeVerified) {
-        context.debug(`...verified the '${typeName}' type.`);
-      }
+    if (typeVerified) {
+      context.debug(`...verified the '${typeString}' type.`);
     }
 
     return typeVerified;

package/src/dom/combinator/bracketed.js

@@ -5,7 +5,6 @@ import Combinator from "../combinator";
 import combinatorBracketedContext from "../../context/bracketed/combinator";
 
 import { domAssigned } from "../../dom";
-import { unifyStatementWithCombinator } from "../../utilities/unification";
 
 export default domAssigned(class BracketedCombinator extends Combinator {
   unifyStatement(statement, assignments, stated, context) {
@@ -15,11 +14,7 @@ export default domAssigned(class BracketedCombinator extends Combinator {
 
     context.trace(`Unifying the '${statementString}' statement with the bracketed combinator...`);
 
-    const bracketedCombinator = this, ///
-          combinator = bracketedCombinator, ///
-          statementUnifiedWithCombinator = unifyStatementWithCombinator(statement, combinator, assignments, stated, context);
-
-    statementUnified = statementUnifiedWithCombinator;
+    statementUnified = super.unifyStatement(statement, assignments, stated, context);
 
     if (statementUnified) {
       context.debug(`...unified the '${statementString}' statement with the bracketed combinator.`);

package/src/dom/constructor.js

@@ -3,20 +3,15 @@
 import dom from "../dom";
 import LocalContext from "../context/local";
 
-import { nodeQuery } from "../utilities/query";
 import { objectType } from "./type";
 import { domAssigned } from "../dom";
-import { PROVISIONALLY } from "../constants";
 import { unifyTermWithConstructor } from "../utilities/unification";
 import { termFromJSON, termToTermJSON } from "../utilities/json";
 
-const lastSecondaryKeywordTerminalNodeQuery = nodeQuery("/constructorDeclaration/@secondary-keyword[-1]");
-
 export default domAssigned(class Constructor {
-  constructor(string, term, provisional) {
+  constructor(string, term) {
     this.string = string;
     this.term = term;
-    this.provisional = provisional;
   }
 
   getString() {
@@ -27,10 +22,6 @@ export default domAssigned(class Constructor {
     return this.term;
   }
 
-  isProvisional() {
-    return this.provisional;
-  }
-
   getType() { return this.term.getType(); }
 
   setType(type) { this.term.setType(type); }
@@ -67,11 +58,9 @@ export default domAssigned(class Constructor {
 
   toJSON() {
     const termJSON = termToTermJSON(this.term),
-          provisional = this.provisional,
           term = termJSON,  ///
           json = {
-            term,
-            provisional
+            term
           };
 
     return json;
@@ -91,15 +80,14 @@ export default domAssigned(class Constructor {
           localContext = LocalContext.fromFileContext(fileContext),
           context = localContext, ///
           term = Term.fromConstructorDeclarationNode(constructorDeclarationNode, context),
-          provisional = provisionalFromConstructorDeclarationNode(constructorDeclarationNode, fileContext),
-          string = stringFromTermAndProvisional(term, provisional),
-          constructor = new Constructor(string, term, provisional);
+          string = stringFromTerm(term),
+          constructor = new Constructor(string, term);
 
     return constructor;
   }
 });
 
-function stringFromTermAndProvisional(term, provisional) {
+function stringFromTerm(term) {
   let string;
 
   const type = term.getType(),
@@ -113,24 +101,5 @@ function stringFromTermAndProvisional(term, provisional) {
     string = `${termString}:${typeString}`;
   }
 
-  if (provisional) {
-    string = `${string} ${PROVISIONALLY}`;
-  }
-
   return string;
 }
-
-function provisionalFromConstructorDeclarationNode(constructorDeclarationNode, fileContext) {
-  let provisional = false;
-
-  const lastSecondaryKeywordTerminalNode = lastSecondaryKeywordTerminalNodeQuery(constructorDeclarationNode);
-
-  if (lastSecondaryKeywordTerminalNode !== null) {
-    const content = lastSecondaryKeywordTerminalNode.getContent(),
-          contentProvisionally = (content === PROVISIONALLY);
-
-    provisional = contentProvisionally; ///
-  }
-
-  return provisional;
-}