occam-verify-cli 1.0.983 → 1.0.985

package/lib/ruleNames.js

@@ -1,350 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-function _export(target, all) {
-    for(var name in all)Object.defineProperty(target, name, {
-        enumerable: true,
-        get: Object.getOwnPropertyDescriptor(all, name).get
-    });
-}
-_export(exports, {
-    get ARGUMENT_RULE_NAME () {
-        return ARGUMENT_RULE_NAME;
-    },
-    get ASSUMPTION_RULE_NAME () {
-        return ASSUMPTION_RULE_NAME;
-    },
-    get AXIOM_BODY_RULE_NAME () {
-        return AXIOM_BODY_RULE_NAME;
-    },
-    get AXIOM_HEADER_RULE_NAME () {
-        return AXIOM_HEADER_RULE_NAME;
-    },
-    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_BODY_RULE_NAME () {
-        return CONJECTURE_BODY_RULE_NAME;
-    },
-    get CONJECTURE_HEADER_RULE_NAME () {
-        return CONJECTURE_HEADER_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 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 DOCUMENT_RULE_NAME () {
-        return DOCUMENT_RULE_NAME;
-    },
-    get EQUALITY_RULE_NAME () {
-        return EQUALITY_RULE_NAME;
-    },
-    get EQUIVALENCES_RULE_NAME () {
-        return EQUIVALENCES_RULE_NAME;
-    },
-    get EQUIVALENCE_RULE_NAME () {
-        return EQUIVALENCE_RULE_NAME;
-    },
-    get ERROR_RULE_NAME () {
-        return ERROR_RULE_NAME;
-    },
-    get FRAME_RULE_NAME () {
-        return FRAME_RULE_NAME;
-    },
-    get FRAME_SUBSTITUTION_RULE_NAME () {
-        return FRAME_SUBSTITUTION_RULE_NAME;
-    },
-    get HYPOTHESIS_RULE_NAME () {
-        return HYPOTHESIS_RULE_NAME;
-    },
-    get JUDGEMENT_RULE_NAME () {
-        return JUDGEMENT_RULE_NAME;
-    },
-    get LABELS_RULE_NAME () {
-        return LABELS_RULE_NAME;
-    },
-    get LABEL_RULE_NAME () {
-        return LABEL_RULE_NAME;
-    },
-    get LEMMA_BODY_RULE_NAME () {
-        return LEMMA_BODY_RULE_NAME;
-    },
-    get LEMMA_HEADER_RULE_NAME () {
-        return LEMMA_HEADER_RULE_NAME;
-    },
-    get LEMMA_RULE_NAME () {
-        return LEMMA_RULE_NAME;
-    },
-    get METATHEOREM_BODY_RULE_NAME () {
-        return METATHEOREM_BODY_RULE_NAME;
-    },
-    get METATHEOREM_HEADER_RULE_NAME () {
-        return METATHEOREM_HEADER_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_ARGUMENT_RULE_NAME () {
-        return META_ARGUMENT_RULE_NAME;
-    },
-    get META_LEMMA_BODY_RULE_NAME () {
-        return META_LEMMA_BODY_RULE_NAME;
-    },
-    get META_LEMMA_HEADER_RULE_NAME () {
-        return META_LEMMA_HEADER_RULE_NAME;
-    },
-    get META_LEMMA_RULE_NAME () {
-        return META_LEMMA_RULE_NAME;
-    },
-    get META_LEVEL_ASSUMPTION_RULE_NAME () {
-        return META_LEVEL_ASSUMPTION_RULE_NAME;
-    },
-    get META_TYPE_RULE_NAME () {
-        return META_TYPE_RULE_NAME;
-    },
-    get PARAMETER_RULE_NAME () {
-        return PARAMETER_RULE_NAME;
-    },
-    get PARENTHESISED_LABELS_RULE_NAME () {
-        return PARENTHESISED_LABELS_RULE_NAME;
-    },
-    get PARENTHESISED_LABEL_RULE_NAME () {
-        return PARENTHESISED_LABEL_RULE_NAME;
-    },
-    get PLACEHOLDER_RULE_NAME () {
-        return PLACEHOLDER_RULE_NAME;
-    },
-    get PREMISE_RULE_NAME () {
-        return PREMISE_RULE_NAME;
-    },
-    get PROCEDURE_CALL_RULE_NAME () {
-        return PROCEDURE_CALL_RULE_NAME;
-    },
-    get PROCEDURE_REFERENCE_RULE_NAME () {
-        return PROCEDURE_REFERENCE_RULE_NAME;
-    },
-    get PROOF_RULE_NAME () {
-        return PROOF_RULE_NAME;
-    },
-    get PROPERTY_ASSERTION_RULE_NAME () {
-        return PROPERTY_ASSERTION_RULE_NAME;
-    },
-    get PROPERTY_DECLARATION_RULE_NAME () {
-        return PROPERTY_DECLARATION_RULE_NAME;
-    },
-    get PROPERTY_RELATION_RULE_NAME () {
-        return PROPERTY_RELATION_RULE_NAME;
-    },
-    get PROPERTY_RULE_NAME () {
-        return PROPERTY_RULE_NAME;
-    },
-    get QUALIFICATION_RULE_NAME () {
-        return QUALIFICATION_RULE_NAME;
-    },
-    get REFERENCE_RULE_NAME () {
-        return REFERENCE_RULE_NAME;
-    },
-    get REFERENCE_SUBSTITUTION_RULE_NAME () {
-        return REFERENCE_SUBSTITUTION_RULE_NAME;
-    },
-    get RULE_BODY_RULE_NAME () {
-        return RULE_BODY_RULE_NAME;
-    },
-    get RULE_HEADER_RULE_NAME () {
-        return RULE_HEADER_RULE_NAME;
-    },
-    get RULE_RULE_NAME () {
-        return RULE_RULE_NAME;
-    },
-    get SECTION_RULE_NAME () {
-        return SECTION_RULE_NAME;
-    },
-    get SIGNATURE_ASSERTION_RULE_NAME () {
-        return SIGNATURE_ASSERTION_RULE_NAME;
-    },
-    get SIGNATURE_RULE_NAME () {
-        return SIGNATURE_RULE_NAME;
-    },
-    get SIMPLE_TYPE_DECLARATION_RULE_NAME () {
-        return SIMPLE_TYPE_DECLARATION_RULE_NAME;
-    },
-    get STATEMENT_RULE_NAME () {
-        return STATEMENT_RULE_NAME;
-    },
-    get STATEMENT_SUBSTITUTION_RULE_NAME () {
-        return STATEMENT_SUBSTITUTION_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 TERM_SUBSTITUTION_RULE_NAME () {
-        return TERM_SUBSTITUTION_RULE_NAME;
-    },
-    get THEOREM_BODY_RULE_NAME () {
-        return THEOREM_BODY_RULE_NAME;
-    },
-    get THEOREM_HEADER_RULE_NAME () {
-        return THEOREM_HEADER_RULE_NAME;
-    },
-    get THEOREM_RULE_NAME () {
-        return THEOREM_RULE_NAME;
-    },
-    get TYPES_RULE_NAME () {
-        return TYPES_RULE_NAME;
-    },
-    get TYPE_ASSERTION_RULE_NAME () {
-        return TYPE_ASSERTION_RULE_NAME;
-    },
-    get TYPE_PREFIX_DECLARATION_RULE_NAME () {
-        return TYPE_PREFIX_DECLARATION_RULE_NAME;
-    },
-    get TYPE_PREFIX_RULE_NAME () {
-        return TYPE_PREFIX_RULE_NAME;
-    },
-    get TYPE_RULE_NAME () {
-        return TYPE_RULE_NAME;
-    },
-    get VARIABLE_DECLARATION_RULE_NAME () {
-        return VARIABLE_DECLARATION_RULE_NAME;
-    },
-    get VARIABLE_RULE_NAME () {
-        return VARIABLE_RULE_NAME;
-    }
-});
-const RULE_RULE_NAME = "rule";
-const STEP_RULE_NAME = "step";
-const TERM_RULE_NAME = "term";
-const TYPE_RULE_NAME = "type";
-const TYPES_RULE_NAME = "types";
-const LEMMA_RULE_NAME = "lemma";
-const AXIOM_RULE_NAME = "axiom";
-const ERROR_RULE_NAME = "error";
-const FRAME_RULE_NAME = "frame";
-const PROOF_RULE_NAME = "proof";
-const LABEL_RULE_NAME = "label";
-const LABELS_RULE_NAME = "labels";
-const THEOREM_RULE_NAME = "theorem";
-const PREMISE_RULE_NAME = "premise";
-const SECTION_RULE_NAME = "section";
-const ARGUMENT_RULE_NAME = "argument";
-const PROPERTY_RULE_NAME = "property";
-const EQUALITY_RULE_NAME = "equality";
-const VARIABLE_RULE_NAME = "variable";
-const SUBPROOF_RULE_NAME = "subproof";
-const DOCUMENT_RULE_NAME = "document";
-const RULE_BODY_RULE_NAME = "ruleBody";
-const META_TYPE_RULE_NAME = "metaType";
-const SIGNATURE_RULE_NAME = "signature";
-const PARAMETER_RULE_NAME = "parameter";
-const DEDUCTION_RULE_NAME = "deduction";
-const JUDGEMENT_RULE_NAME = "judgement";
-const REFERENCE_RULE_NAME = "reference";
-const STATEMENT_RULE_NAME = "statement";
-const META_LEMMA_RULE_NAME = "metaLemma";
-const AXIOM_BODY_RULE_NAME = "axiomBody";
-const LEMMA_BODY_RULE_NAME = "lemmaBody";
-const COMBINATOR_RULE_NAME = "combinator";
-const CONCLUSION_RULE_NAME = "conclusion";
-const CONJECTURE_RULE_NAME = "conjecture";
-const DERIVATION_RULE_NAME = "derivation";
-const HYPOTHESIS_RULE_NAME = "hypothesis";
-const ASSUMPTION_RULE_NAME = "assumption";
-const PLACEHOLDER_RULE_NAME = "_"; ///
-const RULE_HEADER_RULE_NAME = "ruleHeader";
-const TYPE_PREFIX_RULE_NAME = "typePrefix";
-const SUPPOSITION_RULE_NAME = "supposition";
-const CONSTRUCTOR_RULE_NAME = "constructor";
-const METATHEOREM_RULE_NAME = "metatheorem";
-const EQUIVALENCE_RULE_NAME = "equivalence";
-const AXIOM_HEADER_RULE_NAME = "axiomHeader";
-const LEMMA_HEADER_RULE_NAME = "lemmaHeader";
-const THEOREM_BODY_RULE_NAME = "theoremBody";
-const METAVARIABLE_RULE_NAME = "metavariable";
-const EQUIVALENCES_RULE_NAME = "equivalences";
-const META_ARGUMENT_RULE_NAME = "metaArgument";
-const QUALIFICATION_RULE_NAME = "qualification";
-const PROCEDURE_CALL_RULE_NAME = "procedureCall";
-const SUB_DERIVATION_RULE_NAME = "subDerivation";
-const TYPE_ASSERTION_RULE_NAME = "typeAssertion";
-const THEOREM_HEADER_RULE_NAME = "theoremHeader";
-const META_LEMMA_BODY_RULE_NAME = "metaLemmaBody";
-const CONJECTURE_BODY_RULE_NAME = "conjectureBody";
-const METATHEOREM_BODY_RULE_NAME = "metatheoremBody";
-const META_LEMMA_HEADER_RULE_NAME = "metaLemmaHeader";
-const CONJECTURE_HEADER_RULE_NAME = "conjectureHeader";
-const PROPERTY_RELATION_RULE_NAME = "propertyRelation";
-const DEFINED_ASSERTION_RULE_NAME = "definedAssertion";
-const TERM_SUBSTITUTION_RULE_NAME = "termSubstitution";
-const METATHEOREM_HEADER_RULE_NAME = "metatheoremHeader";
-const PROPERTY_ASSERTION_RULE_NAME = "propertyAssertion";
-const SUBPROOF_ASSERTION_RULE_NAME = "subproofAssertion";
-const FRAME_SUBSTITUTION_RULE_NAME = "frameSubstitution";
-const PARENTHESISED_LABEL_RULE_NAME = "parenthesisedLabel";
-const PROCEDURE_REFERENCE_RULE_NAME = "procedureReference";
-const CONTAINED_ASSERTION_RULE_NAME = "containedAssertion";
-const SIGNATURE_ASSERTION_RULE_NAME = "signatureAssertion";
-const PARENTHESISED_LABELS_RULE_NAME = "parenthesisedLabels";
-const PROPERTY_DECLARATION_RULE_NAME = "propertyDeclaration";
-const VARIABLE_DECLARATION_RULE_NAME = "variableDeclaration";
-const META_LEVEL_ASSUMPTION_RULE_NAME = "metaLevelAssumption";
-const COMBINATOR_DECLARATION_RULE_NAME = "combinatorDeclaration";
-const STATEMENT_SUBSTITUTION_RULE_NAME = "statementSubstitution";
-const REFERENCE_SUBSTITUTION_RULE_NAME = "referenceSubstitution";
-const TYPE_PREFIX_DECLARATION_RULE_NAME = "typePrefixDeclaration";
-const SIMPLE_TYPE_DECLARATION_RULE_NAME = "simpleTypeDeclaration";
-const CONSTRUCTOR_DECLARATION_RULE_NAME = "constructorDeclaration";
-const COMPLEX_TYPE_DECLARATION_RULE_NAME = "complexTypeDeclaration";
-const METAVARIABLE_DECLARATION_RULE_NAME = "metavariableDeclaration";
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9ydWxlTmFtZXMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmV4cG9ydCBjb25zdCBSVUxFX1JVTEVfTkFNRSA9IFwicnVsZVwiO1xuZXhwb3J0IGNvbnN0IFNURVBfUlVMRV9OQU1FID0gXCJzdGVwXCI7XG5leHBvcnQgY29uc3QgVEVSTV9SVUxFX05BTUUgPSBcInRlcm1cIjtcbmV4cG9ydCBjb25zdCBUWVBFX1JVTEVfTkFNRSA9IFwidHlwZVwiO1xuZXhwb3J0IGNvbnN0IFRZUEVTX1JVTEVfTkFNRSA9IFwidHlwZXNcIjtcbmV4cG9ydCBjb25zdCBMRU1NQV9SVUxFX05BTUUgPSBcImxlbW1hXCI7XG5leHBvcnQgY29uc3QgQVhJT01fUlVMRV9OQU1FID0gXCJheGlvbVwiO1xuZXhwb3J0IGNvbnN0IEVSUk9SX1JVTEVfTkFNRSA9IFwiZXJyb3JcIjtcbmV4cG9ydCBjb25zdCBGUkFNRV9SVUxFX05BTUUgPSBcImZyYW1lXCI7XG5leHBvcnQgY29uc3QgUFJPT0ZfUlVMRV9OQU1FID0gXCJwcm9vZlwiO1xuZXhwb3J0IGNvbnN0IExBQkVMX1JVTEVfTkFNRSA9IFwibGFiZWxcIjtcbmV4cG9ydCBjb25zdCBMQUJFTFNfUlVMRV9OQU1FID0gXCJsYWJlbHNcIjtcbmV4cG9ydCBjb25zdCBUSEVPUkVNX1JVTEVfTkFNRSA9IFwidGhlb3JlbVwiO1xuZXhwb3J0IGNvbnN0IFBSRU1JU0VfUlVMRV9OQU1FID0gXCJwcmVtaXNlXCI7XG5leHBvcnQgY29uc3QgU0VDVElPTl9SVUxFX05BTUUgPSBcInNlY3Rpb25cIjtcbmV4cG9ydCBjb25zdCBBUkdVTUVOVF9SVUxFX05BTUUgPSBcImFyZ3VtZW50XCI7XG5leHBvcnQgY29uc3QgUFJPUEVSVFlfUlVMRV9OQU1FID0gXCJwcm9wZXJ0eVwiO1xuZXhwb3J0IGNvbnN0IEVRVUFMSVRZX1JVTEVfTkFNRSA9IFwiZXF1YWxpdHlcIjtcbmV4cG9ydCBjb25zdCBWQVJJQUJMRV9SVUxFX05BTUUgPSBcInZhcmlhYmxlXCI7XG5leHBvcnQgY29uc3QgU1VCUFJPT0ZfUlVMRV9OQU1FID0gXCJzdWJwcm9vZlwiO1xuZXhwb3J0IGNvbnN0IERPQ1VNRU5UX1JVTEVfTkFNRSA9IFwiZG9jdW1lbnRcIjtcbmV4cG9ydCBjb25zdCBSVUxFX0JPRFlfUlVMRV9OQU1FID0gXCJydWxlQm9keVwiO1xuZXhwb3J0IGNvbnN0IE1FVEFfVFlQRV9SVUxFX05BTUUgPSBcIm1ldGFUeXBlXCI7XG5leHBvcnQgY29uc3QgU0lHTkFUVVJFX1JVTEVfTkFNRSA9IFwic2lnbmF0dXJlXCI7XG5leHBvcnQgY29uc3QgUEFSQU1FVEVSX1JVTEVfTkFNRSA9IFwicGFyYW1ldGVyXCI7XG5leHBvcnQgY29uc3QgREVEVUNUSU9OX1JVTEVfTkFNRSA9IFwiZGVkdWN0aW9uXCI7XG5leHBvcnQgY29uc3QgSlVER0VNRU5UX1JVTEVfTkFNRSA9IFwianVkZ2VtZW50XCI7XG5leHBvcnQgY29uc3QgUkVGRVJFTkNFX1JVTEVfTkFNRSA9IFwicmVmZXJlbmNlXCI7XG5leHBvcnQgY29uc3QgU1RBVEVNRU5UX1JVTEVfTkFNRSA9IFwic3RhdGVtZW50XCI7XG5leHBvcnQgY29uc3QgTUVUQV9MRU1NQV9SVUxFX05BTUUgPSBcIm1ldGFMZW1tYVwiO1xuZXhwb3J0IGNvbnN0IEFYSU9NX0JPRFlfUlVMRV9OQU1FID0gXCJheGlvbUJvZHlcIjtcbmV4cG9ydCBjb25zdCBMRU1NQV9CT0RZX1JVTEVfTkFNRSA9IFwibGVtbWFCb2R5XCI7XG5leHBvcnQgY29uc3QgQ09NQklOQVRPUl9SVUxFX05BTUUgPSBcImNvbWJpbmF0b3JcIjtcbmV4cG9ydCBjb25zdCBDT05DTFVTSU9OX1JVTEVfTkFNRSA9IFwiY29uY2x1c2lvblwiO1xuZXhwb3J0IGNvbnN0IENPTkpFQ1RVUkVfUlVMRV9OQU1FID0gXCJjb25qZWN0dXJlXCI7XG5leHBvcnQgY29uc3QgREVSSVZBVElPTl9SVUxFX05BTUUgPSBcImRlcml2YXRpb25cIjtcbmV4cG9ydCBjb25zdCBIWVBPVEhFU0lTX1JVTEVfTkFNRSA9IFwiaHlwb3RoZXNpc1wiO1xuZXhwb3J0IGNvbnN0IEFTU1VNUFRJT05fUlVMRV9OQU1FID0gXCJhc3N1bXB0aW9uXCI7XG5leHBvcnQgY29uc3QgUExBQ0VIT0xERVJfUlVMRV9OQU1FID0gXCJfXCI7IC8vL1xuZXhwb3J0IGNvbnN0IFJVTEVfSEVBREVSX1JVTEVfTkFNRSA9IFwicnVsZUhlYWRlclwiO1xuZXhwb3J0IGNvbnN0IFRZUEVfUFJFRklYX1JVTEVfTkFNRSA9IFwidHlwZVByZWZpeFwiO1xuZXhwb3J0IGNvbnN0IFNVUFBPU0lUSU9OX1JVTEVfTkFNRSA9IFwic3VwcG9zaXRpb25cIjtcbmV4cG9ydCBjb25zdCBDT05TVFJVQ1RPUl9SVUxFX05BTUUgPSBcImNvbnN0cnVjdG9yXCI7XG5leHBvcnQgY29uc3QgTUVUQVRIRU9SRU1fUlVMRV9OQU1FID0gXCJtZXRhdGhlb3JlbVwiO1xuZXhwb3J0IGNvbnN0IEVRVUlWQUxFTkNFX1JVTEVfTkFNRSA9IFwiZXF1aXZhbGVuY2VcIjtcbmV4cG9ydCBjb25zdCBBWElPTV9IRUFERVJfUlVMRV9OQU1FID0gXCJheGlvbUhlYWRlclwiO1xuZXhwb3J0IGNvbnN0IExFTU1BX0hFQURFUl9SVUxFX05BTUUgPSBcImxlbW1hSGVhZGVyXCI7XG5leHBvcnQgY29uc3QgVEhFT1JFTV9CT0RZX1JVTEVfTkFNRSA9IFwidGhlb3JlbUJvZHlcIjtcbmV4cG9ydCBjb25zdCBNRVRBVkFSSUFCTEVfUlVMRV9OQU1FID0gXCJtZXRhdmFyaWFibGVcIjtcbmV4cG9ydCBjb25zdCBFUVVJVkFMRU5DRVNfUlVMRV9OQU1FID0gXCJlcXVpdmFsZW5jZXNcIjtcbmV4cG9ydCBjb25zdCBNRVRBX0FSR1VNRU5UX1JVTEVfTkFNRSA9IFwibWV0YUFyZ3VtZW50XCI7XG5leHBvcnQgY29uc3QgUVVBTElGSUNBVElPTl9SVUxFX05BTUUgPSBcInF1YWxpZmljYXRpb25cIjtcbmV4cG9ydCBjb25zdCBQUk9DRURVUkVfQ0FMTF9SVUxFX05BTUUgPSBcInByb2NlZHVyZUNhbGxcIjtcbmV4cG9ydCBjb25zdCBTVUJfREVSSVZBVElPTl9SVUxFX05BTUUgPSBcInN1YkRlcml2YXRpb25cIjtcbmV4cG9ydCBjb25zdCBUWVBFX0FTU0VSVElPTl9SVUxFX05BTUUgPSBcInR5cGVBc3NlcnRpb25cIjtcbmV4cG9ydCBjb25zdCBUSEVPUkVNX0hFQURFUl9SVUxFX05BTUUgPSBcInRoZW9yZW1IZWFkZXJcIjtcbmV4cG9ydCBjb25zdCBNRVRBX0xFTU1BX0JPRFlfUlVMRV9OQU1FID0gXCJtZXRhTGVtbWFCb2R5XCI7XG5leHBvcnQgY29uc3QgQ09OSkVDVFVSRV9CT0RZX1JVTEVfTkFNRSA9IFwiY29uamVjdHVyZUJvZHlcIjtcbmV4cG9ydCBjb25zdCBNRVRBVEhFT1JFTV9CT0RZX1JVTEVfTkFNRSA9IFwibWV0YXRoZW9yZW1Cb2R5XCI7XG5leHBvcnQgY29uc3QgTUVUQV9MRU1NQV9IRUFERVJfUlVMRV9OQU1FID0gXCJtZXRhTGVtbWFIZWFkZXJcIjtcbmV4cG9ydCBjb25zdCBDT05KRUNUVVJFX0hFQURFUl9SVUxFX05BTUUgPSBcImNvbmplY3R1cmVIZWFkZXJcIjtcbmV4cG9ydCBjb25zdCBQUk9QRVJUWV9SRUxBVElPTl9SVUxFX05BTUUgPSBcInByb3BlcnR5UmVsYXRpb25cIjtcbmV4cG9ydCBjb25zdCBERUZJTkVEX0FTU0VSVElPTl9SVUxFX05BTUUgPSBcImRlZmluZWRBc3NlcnRpb25cIjtcbmV4cG9ydCBjb25zdCBURVJNX1NVQlNUSVRVVElPTl9SVUxFX05BTUUgPSBcInRlcm1TdWJzdGl0dXRpb25cIjtcbmV4cG9ydCBjb25zdCBNRVRBVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FID0gXCJtZXRhdGhlb3JlbUhlYWRlclwiO1xuZXhwb3J0IGNvbnN0IFBST1BFUlRZX0FTU0VSVElPTl9SVUxFX05BTUUgPSBcInByb3BlcnR5QXNzZXJ0aW9uXCI7XG5leHBvcnQgY29uc3QgU1VCUFJPT0ZfQVNTRVJUSU9OX1JVTEVfTkFNRSA9IFwic3VicHJvb2ZBc3NlcnRpb25cIjtcbmV4cG9ydCBjb25zdCBGUkFNRV9TVUJTVElUVVRJT05fUlVMRV9OQU1FID0gXCJmcmFtZVN1YnN0aXR1dGlvblwiO1xuZXhwb3J0IGNvbnN0IFBBUkVOVEhFU0lTRURfTEFCRUxfUlVMRV9OQU1FID0gXCJwYXJlbnRoZXNpc2VkTGFiZWxcIjtcbmV4cG9ydCBjb25zdCBQUk9DRURVUkVfUkVGRVJFTkNFX1JVTEVfTkFNRSA9IFwicHJvY2VkdXJlUmVmZXJlbmNlXCI7XG5leHBvcnQgY29uc3QgQ09OVEFJTkVEX0FTU0VSVElPTl9SVUxFX05BTUUgPSBcImNvbnRhaW5lZEFzc2VydGlvblwiO1xuZXhwb3J0IGNvbnN0IFNJR05BVFVSRV9BU1NFUlRJT05fUlVMRV9OQU1FID0gXCJzaWduYXR1cmVBc3NlcnRpb25cIjtcbmV4cG9ydCBjb25zdCBQQVJFTlRIRVNJU0VEX0xBQkVMU19SVUxFX05BTUUgPSBcInBhcmVudGhlc2lzZWRMYWJlbHNcIjtcbmV4cG9ydCBjb25zdCBQUk9QRVJUWV9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcInByb3BlcnR5RGVjbGFyYXRpb25cIjtcbmV4cG9ydCBjb25zdCBWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcInZhcmlhYmxlRGVjbGFyYXRpb25cIjtcbmV4cG9ydCBjb25zdCBNRVRBX0xFVkVMX0FTU1VNUFRJT05fUlVMRV9OQU1FID0gXCJtZXRhTGV2ZWxBc3N1bXB0aW9uXCI7XG5leHBvcnQgY29uc3QgQ09NQklOQVRPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcImNvbWJpbmF0b3JEZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IFNUQVRFTUVOVF9TVUJTVElUVVRJT05fUlVMRV9OQU1FID0gXCJzdGF0ZW1lbnRTdWJzdGl0dXRpb25cIjtcbmV4cG9ydCBjb25zdCBSRUZFUkVOQ0VfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSA9IFwicmVmZXJlbmNlU3Vic3RpdHV0aW9uXCI7XG5leHBvcnQgY29uc3QgVFlQRV9QUkVGSVhfREVDTEFSQVRJT05fUlVMRV9OQU1FID0gXCJ0eXBlUHJlZml4RGVjbGFyYXRpb25cIjtcbmV4cG9ydCBjb25zdCBTSU1QTEVfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcInNpbXBsZVR5cGVEZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IENPTlNUUlVDVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSA9IFwiY29uc3RydWN0b3JEZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IENPTVBMRVhfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcImNvbXBsZXhUeXBlRGVjbGFyYXRpb25cIjtcbmV4cG9ydCBjb25zdCBNRVRBVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FID0gXCJtZXRhdmFyaWFibGVEZWNsYXJhdGlvblwiO1xuIl0sIm5hbWVzIjpbIkFSR1VNRU5UX1JVTEVfTkFNRSIsIkFTU1VNUFRJT05fUlVMRV9OQU1FIiwiQVhJT01fQk9EWV9SVUxFX05BTUUiLCJBWElPTV9IRUFERVJfUlVMRV9OQU1FIiwiQVhJT01fUlVMRV9OQU1FIiwiQ09NQklOQVRPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJDT01CSU5BVE9SX1JVTEVfTkFNRSIsIkNPTVBMRVhfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJDT05DTFVTSU9OX1JVTEVfTkFNRSIsIkNPTkpFQ1RVUkVfQk9EWV9SVUxFX05BTUUiLCJDT05KRUNUVVJFX0hFQURFUl9SVUxFX05BTUUiLCJDT05KRUNUVVJFX1JVTEVfTkFNRSIsIkNPTlNUUlVDVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIkNPTlNUUlVDVE9SX1JVTEVfTkFNRSIsIkNPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FIiwiREVEVUNUSU9OX1JVTEVfTkFNRSIsIkRFRklORURfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIkRFUklWQVRJT05fUlVMRV9OQU1FIiwiRE9DVU1FTlRfUlVMRV9OQU1FIiwiRVFVQUxJVFlfUlVMRV9OQU1FIiwiRVFVSVZBTEVOQ0VTX1JVTEVfTkFNRSIsIkVRVUlWQUxFTkNFX1JVTEVfTkFNRSIsIkVSUk9SX1JVTEVfTkFNRSIsIkZSQU1FX1JVTEVfTkFNRSIsIkZSQU1FX1NVQlNUSVRVVElPTl9SVUxFX05BTUUiLCJIWVBPVEhFU0lTX1JVTEVfTkFNRSIsIkpVREdFTUVOVF9SVUxFX05BTUUiLCJMQUJFTFNfUlVMRV9OQU1FIiwiTEFCRUxfUlVMRV9OQU1FIiwiTEVNTUFfQk9EWV9SVUxFX05BTUUiLCJMRU1NQV9IRUFERVJfUlVMRV9OQU1FIiwiTEVNTUFfUlVMRV9OQU1FIiwiTUVUQVRIRU9SRU1fQk9EWV9SVUxFX05BTUUiLCJNRVRBVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FIiwiTUVUQVRIRU9SRU1fUlVMRV9OQU1FIiwiTUVUQVZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIk1FVEFWQVJJQUJMRV9SVUxFX05BTUUiLCJNRVRBX0FSR1VNRU5UX1JVTEVfTkFNRSIsIk1FVEFfTEVNTUFfQk9EWV9SVUxFX05BTUUiLCJNRVRBX0xFTU1BX0hFQURFUl9SVUxFX05BTUUiLCJNRVRBX0xFTU1BX1JVTEVfTkFNRSIsIk1FVEFfTEVWRUxfQVNTVU1QVElPTl9SVUxFX05BTUUiLCJNRVRBX1RZUEVfUlVMRV9OQU1FIiwiUEFSQU1FVEVSX1JVTEVfTkFNRSIsIlBBUkVOVEhFU0lTRURfTEFCRUxTX1JVTEVfTkFNRSIsIlBBUkVOVEhFU0lTRURfTEFCRUxfUlVMRV9OQU1FIiwiUExBQ0VIT0xERVJfUlVMRV9OQU1FIiwiUFJFTUlTRV9SVUxFX05BTUUiLCJQUk9DRURVUkVfQ0FMTF9SVUxFX05BTUUiLCJQUk9DRURVUkVfUkVGRVJFTkNFX1JVTEVfTkFNRSIsIlBST09GX1JVTEVfTkFNRSIsIlBST1BFUlRZX0FTU0VSVElPTl9SVUxFX05BTUUiLCJQUk9QRVJUWV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJQUk9QRVJUWV9SRUxBVElPTl9SVUxFX05BTUUiLCJQUk9QRVJUWV9SVUxFX05BTUUiLCJRVUFMSUZJQ0FUSU9OX1JVTEVfTkFNRSIsIlJFRkVSRU5DRV9SVUxFX05BTUUiLCJSRUZFUkVOQ0VfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIlJVTEVfQk9EWV9SVUxFX05BTUUiLCJSVUxFX0hFQURFUl9SVUxFX05BTUUiLCJSVUxFX1JVTEVfTkFNRSIsIlNFQ1RJT05fUlVMRV9OQU1FIiwiU0lHTkFUVVJFX0FTU0VSVElPTl9SVUxFX05BTUUiLCJTSUdOQVRVUkVfUlVMRV9OQU1FIiwiU0lNUExFX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiU1RBVEVNRU5UX1JVTEVfTkFNRSIsIlNUQVRFTUVOVF9TVUJTVElUVVRJT05fUlVMRV9OQU1FIiwiU1RFUF9SVUxFX05BTUUiLCJTVUJQUk9PRl9BU1NFUlRJT05fUlVMRV9OQU1FIiwiU1VCUFJPT0ZfUlVMRV9OQU1FIiwiU1VCX0RFUklWQVRJT05fUlVMRV9OQU1FIiwiU1VQUE9TSVRJT05fUlVMRV9OQU1FIiwiVEVSTV9SVUxFX05BTUUiLCJURVJNX1NVQlNUSVRVVElPTl9SVUxFX05BTUUiLCJUSEVPUkVNX0JPRFlfUlVMRV9OQU1FIiwiVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FIiwiVEhFT1JFTV9SVUxFX05BTUUiLCJUWVBFU19SVUxFX05BTUUiLCJUWVBFX0FTU0VSVElPTl9SVUxFX05BTUUiLCJUWVBFX1BSRUZJWF9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJUWVBFX1BSRUZJWF9SVUxFX05BTUUiLCJUWVBFX1JVTEVfTkFNRSIsIlZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIlZBUklBQkxFX1JVTEVfTkFNRSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBaUJhQTtlQUFBQTs7UUFzQkFDO2VBQUFBOztRQVBBQztlQUFBQTs7UUFlQUM7ZUFBQUE7O1FBdkNBQztlQUFBQTs7UUFzRUFDO2VBQUFBOztRQTVDQUM7ZUFBQUE7O1FBa0RBQztlQUFBQTs7UUFqREFDO2VBQUFBOztRQXdCQUM7ZUFBQUE7O1FBR0FDO2VBQUFBOztRQTFCQUM7ZUFBQUE7O1FBK0NBQztlQUFBQTs7UUF2Q0FDO2VBQUFBOztRQTRCQUM7ZUFBQUE7O1FBN0NBQztlQUFBQTs7UUFxQ0FDO2VBQUFBOztRQTNCQUM7ZUFBQUE7O1FBZkFDO2VBQUFBOztRQUhBQztlQUFBQTs7UUFnQ0FDO2VBQUFBOztRQUxBQztlQUFBQTs7UUFyQ0FDO2VBQUFBOztRQUNBQztlQUFBQTs7UUEyREFDO2VBQUFBOztRQS9CQUM7ZUFBQUE7O1FBVkFDO2VBQUFBOztRQWZBQztlQUFBQTs7UUFEQUM7ZUFBQUE7O1FBcUJBQztlQUFBQTs7UUFlQUM7ZUFBQUE7O1FBekNBQztlQUFBQTs7UUFxREFDO2VBQUFBOztRQU1BQztlQUFBQTs7UUFyQkFDO2VBQUFBOztRQXdDQUM7ZUFBQUE7O1FBbkNBQztlQUFBQTs7UUFFQUM7ZUFBQUE7O1FBTUFDO2VBQUFBOztRQUdBQztlQUFBQTs7UUE5QkFDO2VBQUFBOztRQThDQUM7ZUFBQUE7O1FBckRBQztlQUFBQTs7UUFFQUM7ZUFBQUE7O1FBZ0RBQztlQUFBQTs7UUFKQUM7ZUFBQUE7O1FBOUJBQztlQUFBQTs7UUF6QkFDO2VBQUFBOztRQXVDQUM7ZUFBQUE7O1FBaUJBQztlQUFBQTs7UUE1REFDO2VBQUFBOztRQXdEQUM7ZUFBQUE7O1FBUUFDO2VBQUFBOztRQVpBQztlQUFBQTs7UUE3Q0FDO2VBQUFBOztRQW1DQUM7ZUFBQUE7O1FBeEJBQztlQUFBQTs7UUFtREFDO2VBQUFBOztRQXpEQUM7ZUFBQUE7O1FBa0JBQztlQUFBQTs7UUF2Q0FDO2VBQUFBOztRQWNBQztlQUFBQTs7UUF5REFDO2VBQUFBOztRQWhEQUM7ZUFBQUE7O1FBeURBQztlQUFBQTs7UUFwREFDO2VBQUFBOztRQWlEQUM7ZUFBQUE7O1FBNUVBQztlQUFBQTs7UUFpRUFDO2VBQUFBOztRQS9DQUM7ZUFBQUE7O1FBa0NBQztlQUFBQTs7UUFaQUM7ZUFBQUE7O1FBdkNBQztlQUFBQTs7UUE2REFDO2VBQUFBOztRQWhCQUM7ZUFBQUE7O1FBUUFDO2VBQUFBOztRQTNDQUM7ZUFBQUE7O1FBUkFDO2VBQUFBOztRQWtEQUM7ZUFBQUE7O1FBeUJBQztlQUFBQTs7UUF2Q0FDO2VBQUFBOztRQXJDQUM7ZUFBQUE7O1FBdUVBQztlQUFBQTs7UUF4REFDO2VBQUFBOzs7QUFsQk4sTUFBTXZCLGlCQUFpQjtBQUN2QixNQUFNTyxpQkFBaUI7QUFDdkIsTUFBTUssaUJBQWlCO0FBQ3ZCLE1BQU1TLGlCQUFpQjtBQUN2QixNQUFNSixrQkFBa0I7QUFDeEIsTUFBTTlDLGtCQUFrQjtBQUN4QixNQUFNM0Isa0JBQWtCO0FBQ3hCLE1BQU1rQixrQkFBa0I7QUFDeEIsTUFBTUMsa0JBQWtCO0FBQ3hCLE1BQU0yQixrQkFBa0I7QUFDeEIsTUFBTXRCLGtCQUFrQjtBQUN4QixNQUFNRCxtQkFBbUI7QUFDekIsTUFBTWlELG9CQUFvQjtBQUMxQixNQUFNN0Isb0JBQW9CO0FBQzFCLE1BQU1jLG9CQUFvQjtBQUMxQixNQUFNN0QscUJBQXFCO0FBQzNCLE1BQU1zRCxxQkFBcUI7QUFDM0IsTUFBTW5DLHFCQUFxQjtBQUMzQixNQUFNZ0UscUJBQXFCO0FBQzNCLE1BQU1kLHFCQUFxQjtBQUMzQixNQUFNbkQscUJBQXFCO0FBQzNCLE1BQU13QyxzQkFBc0I7QUFDNUIsTUFBTWhCLHNCQUFzQjtBQUM1QixNQUFNcUIsc0JBQXNCO0FBQzVCLE1BQU1wQixzQkFBc0I7QUFDNUIsTUFBTTVCLHNCQUFzQjtBQUM1QixNQUFNVyxzQkFBc0I7QUFDNUIsTUFBTThCLHNCQUFzQjtBQUM1QixNQUFNUyxzQkFBc0I7QUFDNUIsTUFBTXpCLHVCQUF1QjtBQUM3QixNQUFNdEMsdUJBQXVCO0FBQzdCLE1BQU0yQix1QkFBdUI7QUFDN0IsTUFBTXZCLHVCQUF1QjtBQUM3QixNQUFNRSx1QkFBdUI7QUFDN0IsTUFBTUcsdUJBQXVCO0FBQzdCLE1BQU1NLHVCQUF1QjtBQUM3QixNQUFNUSx1QkFBdUI7QUFDN0IsTUFBTXhCLHVCQUF1QjtBQUM3QixNQUFNNkMsd0JBQXdCLEtBQUssR0FBRztBQUN0QyxNQUFNYSx3QkFBd0I7QUFDOUIsTUFBTXFCLHdCQUF3QjtBQUM5QixNQUFNVCx3QkFBd0I7QUFDOUIsTUFBTTFELHdCQUF3QjtBQUM5QixNQUFNcUIsd0JBQXdCO0FBQzlCLE1BQU1iLHdCQUF3QjtBQUM5QixNQUFNbEIseUJBQXlCO0FBQy9CLE1BQU0yQix5QkFBeUI7QUFDL0IsTUFBTTRDLHlCQUF5QjtBQUMvQixNQUFNdEMseUJBQXlCO0FBQy9CLE1BQU1oQix5QkFBeUI7QUFDL0IsTUFBTWlCLDBCQUEwQjtBQUNoQyxNQUFNa0IsMEJBQTBCO0FBQ2hDLE1BQU1QLDJCQUEyQjtBQUNqQyxNQUFNc0IsMkJBQTJCO0FBQ2pDLE1BQU1RLDJCQUEyQjtBQUNqQyxNQUFNSCwyQkFBMkI7QUFDakMsTUFBTXJDLDRCQUE0QjtBQUNsQyxNQUFNN0IsNEJBQTRCO0FBQ2xDLE1BQU11Qiw2QkFBNkI7QUFDbkMsTUFBTU8sOEJBQThCO0FBQ3BDLE1BQU03Qiw4QkFBOEI7QUFDcEMsTUFBTTJDLDhCQUE4QjtBQUNwQyxNQUFNckMsOEJBQThCO0FBQ3BDLE1BQU15RCw4QkFBOEI7QUFDcEMsTUFBTXhDLCtCQUErQjtBQUNyQyxNQUFNa0IsK0JBQStCO0FBQ3JDLE1BQU1pQiwrQkFBK0I7QUFDckMsTUFBTTVDLCtCQUErQjtBQUNyQyxNQUFNcUIsZ0NBQWdDO0FBQ3RDLE1BQU1JLGdDQUFnQztBQUN0QyxNQUFNbkMsZ0NBQWdDO0FBQ3RDLE1BQU1nRCxnQ0FBZ0M7QUFDdEMsTUFBTWxCLGlDQUFpQztBQUN2QyxNQUFNUSxpQ0FBaUM7QUFDdkMsTUFBTThCLGlDQUFpQztBQUN2QyxNQUFNekMsa0NBQWtDO0FBQ3hDLE1BQU1wQyxtQ0FBbUM7QUFDekMsTUFBTTZELG1DQUFtQztBQUN6QyxNQUFNVCxtQ0FBbUM7QUFDekMsTUFBTXNCLG9DQUFvQztBQUMxQyxNQUFNZixvQ0FBb0M7QUFDMUMsTUFBTXBELG9DQUFvQztBQUMxQyxNQUFNTCxxQ0FBcUM7QUFDM0MsTUFBTTRCLHFDQUFxQyJ9

package/lib/tokenTypes.js

@@ -1,22 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-function _export(target, all) {
-    for(var name in all)Object.defineProperty(target, name, {
-        enumerable: true,
-        get: Object.getOwnPropertyDescriptor(all, name).get
-    });
-}
-_export(exports, {
-    get IDENTIFIER_TOKEN_TYPE () {
-        return IDENTIFIER_TOKEN_TYPE;
-    },
-    get NAME_TOKEN_TYPE () {
-        return NAME_TOKEN_TYPE;
-    }
-});
-const NAME_TOKEN_TYPE = "name";
-const IDENTIFIER_TOKEN_TYPE = "identifier";
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy90b2tlblR5cGVzLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5leHBvcnQgY29uc3QgTkFNRV9UT0tFTl9UWVBFID0gXCJuYW1lXCI7XG5leHBvcnQgY29uc3QgSURFTlRJRklFUl9UT0tFTl9UWVBFID0gXCJpZGVudGlmaWVyXCI7XG4iXSwibmFtZXMiOlsiSURFTlRJRklFUl9UT0tFTl9UWVBFIiwiTkFNRV9UT0tFTl9UWVBFIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7UUFHYUE7ZUFBQUE7O1FBREFDO2VBQUFBOzs7QUFBTixNQUFNQSxrQkFBa0I7QUFDeEIsTUFBTUQsd0JBQXdCIn0=

package/lib/utilities/assignment.js

@@ -1,47 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "variableAssignmentFromTermAndType", {
-    enumerable: true,
-    get: function() {
-        return variableAssignmentFromTermAndType;
-    }
-});
-const _element = require("../utilities/element");
-function variableAssignmentFromTermAndType(term, type, context) {
-    let variableAssignment = (context)=>{
-    ///
-    };
-    const termSingular = term.isSingular();
-    if (termSingular) {
-        const termType = term.getType(), termTypeEqualToType = termType.isEqualTo(type), termTypeSuperTypeOfType = termType.isSuperTypeOf(type);
-        if (false) {
-        ///
-        } else if (termTypeEqualToType) {
-            const termProvisional = term.isProvisional();
-            if (termProvisional) {
-                const type = term.getType(), variableNode = term.getVariableNode(), variable = (0, _element.variableFromVariableNode)(variableNode, context), provisional = false;
-                variable.setType(type);
-                variable.setProvisional(provisional);
-                variableAssignment = (context)=>{
-                    const declaredVariable = variable; ///
-                    context.addDeclaredVariable(declaredVariable);
-                };
-            }
-        } else if (termTypeSuperTypeOfType) {
-            const termEstablished = term.isEstablished();
-            if (termEstablished) {
-                const variableNode = term.getVariableNode(), variable = (0, _element.variableFromVariableNode)(variableNode, context);
-                variable.setType(type);
-                variableAssignment = (context)=>{
-                    const declaredVariable = variable; ///
-                    context.addDeclaredVariable(declaredVariable);
-                };
-            }
-        }
-    }
-    return variableAssignment;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvYXNzaWdubWVudC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgdmFyaWFibGVGcm9tVmFyaWFibGVOb2RlIH0gZnJvbSBcIi4uL3V0aWxpdGllcy9lbGVtZW50XCI7XG5cbmV4cG9ydCBmdW5jdGlvbiB2YXJpYWJsZUFzc2lnbm1lbnRGcm9tVGVybUFuZFR5cGUodGVybSwgdHlwZSwgY29udGV4dCkge1xuICBsZXQgdmFyaWFibGVBc3NpZ25tZW50ID0gKGNvbnRleHQpID0+IHtcbiAgICAvLy9cbiAgfTtcblxuICBjb25zdCB0ZXJtU2luZ3VsYXIgPSB0ZXJtLmlzU2luZ3VsYXIoKTtcblxuICBpZiAodGVybVNpbmd1bGFyKSB7XG4gICAgY29uc3QgdGVybVR5cGUgPSB0ZXJtLmdldFR5cGUoKSxcbiAgICAgICAgICB0ZXJtVHlwZUVxdWFsVG9UeXBlID0gdGVybVR5cGUuaXNFcXVhbFRvKHR5cGUpLFxuICAgICAgICAgIHRlcm1UeXBlU3VwZXJUeXBlT2ZUeXBlID0gdGVybVR5cGUuaXNTdXBlclR5cGVPZih0eXBlKTtcblxuICAgIGlmIChmYWxzZSkge1xuICAgICAgLy8vXG4gICAgfSBlbHNlIGlmICh0ZXJtVHlwZUVxdWFsVG9UeXBlKSB7XG4gICAgICBjb25zdCB0ZXJtUHJvdmlzaW9uYWwgPSB0ZXJtLmlzUHJvdmlzaW9uYWwoKTtcblxuICAgICAgaWYgKHRlcm1Qcm92aXNpb25hbCkge1xuICAgICAgICBjb25zdCB0eXBlID0gdGVybS5nZXRUeXBlKCksXG4gICAgICAgICAgICAgIHZhcmlhYmxlTm9kZSA9IHRlcm0uZ2V0VmFyaWFibGVOb2RlKCksXG4gICAgICAgICAgICAgIHZhcmlhYmxlID0gdmFyaWFibGVGcm9tVmFyaWFibGVOb2RlKHZhcmlhYmxlTm9kZSwgY29udGV4dCksXG4gICAgICAgICAgICAgIHByb3Zpc2lvbmFsID0gZmFsc2U7XG5cbiAgICAgICAgdmFyaWFibGUuc2V0VHlwZSh0eXBlKTtcblxuICAgICAgICB2YXJpYWJsZS5zZXRQcm92aXNpb25hbChwcm92aXNpb25hbCk7XG5cbiAgICAgICAgdmFyaWFibGVBc3NpZ25tZW50ID0gKGNvbnRleHQpID0+IHtcbiAgICAgICAgICBjb25zdCBkZWNsYXJlZFZhcmlhYmxlID0gdmFyaWFibGU7ICAvLy9cblxuICAgICAgICAgIGNvbnRleHQuYWRkRGVjbGFyZWRWYXJpYWJsZShkZWNsYXJlZFZhcmlhYmxlKTtcbiAgICAgICAgfTtcbiAgICAgIH1cbiAgICB9IGVsc2UgaWYgKHRlcm1UeXBlU3VwZXJUeXBlT2ZUeXBlKSB7XG4gICAgICBjb25zdCB0ZXJtRXN0YWJsaXNoZWQgPSB0ZXJtLmlzRXN0YWJsaXNoZWQoKTtcblxuICAgICAgaWYgKHRlcm1Fc3RhYmxpc2hlZCkge1xuICAgICAgICBjb25zdCB2YXJpYWJsZU5vZGUgPSB0ZXJtLmdldFZhcmlhYmxlTm9kZSgpLFxuICAgICAgICAgICAgICB2YXJpYWJsZSA9IHZhcmlhYmxlRnJvbVZhcmlhYmxlTm9kZSh2YXJpYWJsZU5vZGUsIGNvbnRleHQpO1xuXG4gICAgICAgIHZhcmlhYmxlLnNldFR5cGUodHlwZSk7XG5cbiAgICAgICAgdmFyaWFibGVBc3NpZ25tZW50ID0gKGNvbnRleHQpID0+IHtcbiAgICAgICAgICBjb25zdCBkZWNsYXJlZFZhcmlhYmxlID0gdmFyaWFibGU7ICAvLy9cblxuICAgICAgICAgIGNvbnRleHQuYWRkRGVjbGFyZWRWYXJpYWJsZShkZWNsYXJlZFZhcmlhYmxlKTtcbiAgICAgICAgfTtcbiAgICAgIH1cbiAgICB9XG4gIH1cblxuICByZXR1cm4gdmFyaWFibGVBc3NpZ25tZW50O1xufVxuIl0sIm5hbWVzIjpbInZhcmlhYmxlQXNzaWdubWVudEZyb21UZXJtQW5kVHlwZSIsInRlcm0iLCJ0eXBlIiwiY29udGV4dCIsInZhcmlhYmxlQXNzaWdubWVudCIsInRlcm1TaW5ndWxhciIsImlzU2luZ3VsYXIiLCJ0ZXJtVHlwZSIsImdldFR5cGUiLCJ0ZXJtVHlwZUVxdWFsVG9UeXBlIiwiaXNFcXVhbFRvIiwidGVybVR5cGVTdXBlclR5cGVPZlR5cGUiLCJpc1N1cGVyVHlwZU9mIiwidGVybVByb3Zpc2lvbmFsIiwiaXNQcm92aXNpb25hbCIsInZhcmlhYmxlTm9kZSIsImdldFZhcmlhYmxlTm9kZSIsInZhcmlhYmxlIiwidmFyaWFibGVGcm9tVmFyaWFibGVOb2RlIiwicHJvdmlzaW9uYWwiLCJzZXRUeXBlIiwic2V0UHJvdmlzaW9uYWwiLCJkZWNsYXJlZFZhcmlhYmxlIiwiYWRkRGVjbGFyZWRWYXJpYWJsZSIsInRlcm1Fc3RhYmxpc2hlZCIsImlzRXN0YWJsaXNoZWQiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUlnQkE7OztlQUFBQTs7O3lCQUZ5QjtBQUVsQyxTQUFTQSxrQ0FBa0NDLElBQUksRUFBRUMsSUFBSSxFQUFFQyxPQUFPO0lBQ25FLElBQUlDLHFCQUFxQixDQUFDRDtJQUN4QixHQUFHO0lBQ0w7SUFFQSxNQUFNRSxlQUFlSixLQUFLSyxVQUFVO0lBRXBDLElBQUlELGNBQWM7UUFDaEIsTUFBTUUsV0FBV04sS0FBS08sT0FBTyxJQUN2QkMsc0JBQXNCRixTQUFTRyxTQUFTLENBQUNSLE9BQ3pDUywwQkFBMEJKLFNBQVNLLGFBQWEsQ0FBQ1Y7UUFFdkQsSUFBSSxPQUFPO1FBQ1QsR0FBRztRQUNMLE9BQU8sSUFBSU8scUJBQXFCO1lBQzlCLE1BQU1JLGtCQUFrQlosS0FBS2EsYUFBYTtZQUUxQyxJQUFJRCxpQkFBaUI7Z0JBQ25CLE1BQU1YLE9BQU9ELEtBQUtPLE9BQU8sSUFDbkJPLGVBQWVkLEtBQUtlLGVBQWUsSUFDbkNDLFdBQVdDLElBQUFBLGlDQUF3QixFQUFDSCxjQUFjWixVQUNsRGdCLGNBQWM7Z0JBRXBCRixTQUFTRyxPQUFPLENBQUNsQjtnQkFFakJlLFNBQVNJLGNBQWMsQ0FBQ0Y7Z0JBRXhCZixxQkFBcUIsQ0FBQ0Q7b0JBQ3BCLE1BQU1tQixtQkFBbUJMLFVBQVcsR0FBRztvQkFFdkNkLFFBQVFvQixtQkFBbUIsQ0FBQ0Q7Z0JBQzlCO1lBQ0Y7UUFDRixPQUFPLElBQUlYLHlCQUF5QjtZQUNsQyxNQUFNYSxrQkFBa0J2QixLQUFLd0IsYUFBYTtZQUUxQyxJQUFJRCxpQkFBaUI7Z0JBQ25CLE1BQU1ULGVBQWVkLEtBQUtlLGVBQWUsSUFDbkNDLFdBQVdDLElBQUFBLGlDQUF3QixFQUFDSCxjQUFjWjtnQkFFeERjLFNBQVNHLE9BQU8sQ0FBQ2xCO2dCQUVqQkUscUJBQXFCLENBQUNEO29CQUNwQixNQUFNbUIsbUJBQW1CTCxVQUFXLEdBQUc7b0JBRXZDZCxRQUFRb0IsbUJBQW1CLENBQUNEO2dCQUM5QjtZQUNGO1FBQ0Y7SUFDRjtJQUVBLE9BQU9sQjtBQUNUIn0=

package/lib/utilities/bnf.js

@@ -1,21 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "ruleFromRuleName", {
-    enumerable: true,
-    get: function() {
-        return ruleFromRuleName;
-    }
-});
-const _occamlexers = require("occam-lexers");
-const _occamparsers = require("occam-parsers");
-const _necessary = require("necessary");
-const { first } = _necessary.arrayUtilities;
-const bnfLexer = _occamlexers.BNFLexer.fromNothing(), bnfParser = _occamparsers.BNFParser.fromNothing();
-function ruleFromRuleName(ruleName) {
-    const bnf = ` _ ::= ${ruleName}... <END_OF_LINE> ; `, tokens = bnfLexer.tokensFromBNF(bnf), rules = bnfParser.rulesFromTokens(tokens), firstRule = first(rules), rule = firstRule; ///
-    return rule;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvYm5mLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBCTkZMZXhlciB9IGZyb20gXCJvY2NhbS1sZXhlcnNcIjtcbmltcG9ydCB7IEJORlBhcnNlciB9IGZyb20gXCJvY2NhbS1wYXJzZXJzXCI7XG5pbXBvcnQgeyBhcnJheVV0aWxpdGllcyB9IGZyb20gXCJuZWNlc3NhcnlcIjtcblxuY29uc3QgeyBmaXJzdCB9ID0gYXJyYXlVdGlsaXRpZXM7XG5cbmNvbnN0IGJuZkxleGVyID0gQk5GTGV4ZXIuZnJvbU5vdGhpbmcoKSxcbiAgICAgIGJuZlBhcnNlciA9IEJORlBhcnNlci5mcm9tTm90aGluZygpO1xuXG5leHBvcnQgZnVuY3Rpb24gcnVsZUZyb21SdWxlTmFtZShydWxlTmFtZSkge1xuICBjb25zdCBibmYgPSBgIF8gOjo9ICR7cnVsZU5hbWV9Li4uIDxFTkRfT0ZfTElORT4gOyBgLFxuICAgICAgICB0b2tlbnMgPSBibmZMZXhlci50b2tlbnNGcm9tQk5GKGJuZiksXG4gICAgICAgIHJ1bGVzID0gYm5mUGFyc2VyLnJ1bGVzRnJvbVRva2Vucyh0b2tlbnMpLFxuICAgICAgICBmaXJzdFJ1bGUgPSBmaXJzdChydWxlcyksXG4gICAgICAgIHJ1bGUgPSBmaXJzdFJ1bGU7IC8vL1xuXG4gIHJldHVybiBydWxlO1xufVxuIl0sIm5hbWVzIjpbInJ1bGVGcm9tUnVsZU5hbWUiLCJmaXJzdCIsImFycmF5VXRpbGl0aWVzIiwiYm5mTGV4ZXIiLCJCTkZMZXhlciIsImZyb21Ob3RoaW5nIiwiYm5mUGFyc2VyIiwiQk5GUGFyc2VyIiwicnVsZU5hbWUiLCJibmYiLCJ0b2tlbnMiLCJ0b2tlbnNGcm9tQk5GIiwicnVsZXMiLCJydWxlc0Zyb21Ub2tlbnMiLCJmaXJzdFJ1bGUiLCJydWxlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFXZ0JBOzs7ZUFBQUE7Ozs2QkFUUzs4QkFDQzsyQkFDSztBQUUvQixNQUFNLEVBQUVDLEtBQUssRUFBRSxHQUFHQyx5QkFBYztBQUVoQyxNQUFNQyxXQUFXQyxxQkFBUSxDQUFDQyxXQUFXLElBQy9CQyxZQUFZQyx1QkFBUyxDQUFDRixXQUFXO0FBRWhDLFNBQVNMLGlCQUFpQlEsUUFBUTtJQUN2QyxNQUFNQyxNQUFNLENBQUMsT0FBTyxFQUFFRCxTQUFTLG9CQUFvQixDQUFDLEVBQzlDRSxTQUFTUCxTQUFTUSxhQUFhLENBQUNGLE1BQ2hDRyxRQUFRTixVQUFVTyxlQUFlLENBQUNILFNBQ2xDSSxZQUFZYixNQUFNVyxRQUNsQkcsT0FBT0QsV0FBVyxHQUFHO0lBRTNCLE9BQU9DO0FBQ1QifQ==

package/lib/utilities/brackets.js

@@ -1,77 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-function _export(target, all) {
-    for(var name in all)Object.defineProperty(target, name, {
-        enumerable: true,
-        get: Object.getOwnPropertyDescriptor(all, name).get
-    });
-}
-_export(exports, {
-    get stripBracketsFromStatement () {
-        return stripBracketsFromStatement;
-    },
-    get stripBracketsFromStatementNode () {
-        return stripBracketsFromStatementNode;
-    },
-    get stripBracketsFromTerm () {
-        return stripBracketsFromTerm;
-    },
-    get stripBracketsFromTermNode () {
-        return stripBracketsFromTermNode;
-    }
-});
-const _element = require("../utilities/element");
-const _constants = require("../constants");
-const _instance = require("../utilities/instance");
-function stripBracketsFromTerm(term, context) {
-    const termNode = term.getNode(), bracketedTermChildNode = bracketedTermChildNodeFromTermNode(termNode);
-    if (bracketedTermChildNode !== null) {
-        const termNode = bracketedTermChildNode; ///
-        term = (0, _element.termFromTermNode)(termNode, context);
-    }
-    return term;
-}
-function stripBracketsFromTermNode(termNode) {
-    const bracketedTermChildNode = bracketedTermChildNodeFromTermNode(termNode);
-    if (bracketedTermChildNode !== null) {
-        termNode = bracketedTermChildNode; ///
-    }
-    return termNode;
-}
-function stripBracketsFromStatement(statement, context) {
-    const statementNode = statement.getNode(), bracketedStatementChildNode = bracketedStatementChildNodeFromStatementNode(statementNode);
-    if (bracketedStatementChildNode !== null) {
-        const statementNode = bracketedStatementChildNode; ///
-        statement = (0, _element.statementFromStatementNode)(statementNode, context);
-    }
-    return statement;
-}
-function stripBracketsFromStatementNode(statementNode) {
-    const bracketedStatementChildNode = bracketedStatementChildNodeFromStatementNode(statementNode);
-    if (bracketedStatementChildNode !== null) {
-        statementNode = bracketedStatementChildNode; ///
-    }
-    return statementNode;
-}
-function bracketedTermChildNodeFromTermNode(termNode) {
-    let bracketedTermChildNode = null;
-    const depth = _constants.BRACKETED_TERM_DEPTH, bracketedConstructor = (0, _instance.bracketedConstructorFromNothing)(), bracketedConstructorTerm = bracketedConstructor.getTerm(), bracketedConstructorTermNode = bracketedConstructorTerm.getNode(), termNodeMatchBracketedConstructorNode = termNode.match(bracketedConstructorTermNode, depth);
-    if (termNodeMatchBracketedConstructorNode) {
-        const singularTermNode = termNode.getSingularTermNode();
-        bracketedTermChildNode = singularTermNode; ///
-    }
-    return bracketedTermChildNode;
-}
-function bracketedStatementChildNodeFromStatementNode(statementNode) {
-    let bracketedStatementChildNode = null;
-    const depth = _constants.BRACKETED_STATEMENT_DEPTH, bracketedCombinator = (0, _instance.bracketedCombinatorFromNothing)(), bracketedCombinatorStatement = bracketedCombinator.getStatement(), bracketedCombinatorStatementnNode = bracketedCombinatorStatement.getNode(), statementNodeMatchBracketedCombinatorStatementNode = statementNode.match(bracketedCombinatorStatementnNode, depth);
-    if (statementNodeMatchBracketedCombinatorStatementNode) {
-        const singularStatementNode = statementNode.getSingularStatementNode();
-        bracketedStatementChildNode = singularStatementNode; ///
-    }
-    return bracketedStatementChildNode;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvYnJhY2tldHMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IHRlcm1Gcm9tVGVybU5vZGUsIHN0YXRlbWVudEZyb21TdGF0ZW1lbnROb2RlIH0gZnJvbSBcIi4uL3V0aWxpdGllcy9lbGVtZW50XCI7XG5pbXBvcnQgeyBCUkFDS0VURURfVEVSTV9ERVBUSCwgQlJBQ0tFVEVEX1NUQVRFTUVOVF9ERVBUSCB9IGZyb20gXCIuLi9jb25zdGFudHNcIjtcbmltcG9ydCB7IGJyYWNrZXRlZENvbnN0cnVjdG9yRnJvbU5vdGhpbmcsIGJyYWNrZXRlZENvbWJpbmF0b3JGcm9tTm90aGluZyB9IGZyb20gXCIuLi91dGlsaXRpZXMvaW5zdGFuY2VcIjtcblxuZXhwb3J0IGZ1bmN0aW9uIHN0cmlwQnJhY2tldHNGcm9tVGVybSh0ZXJtLCBjb250ZXh0KSB7XG4gIGNvbnN0IHRlcm1Ob2RlID0gdGVybS5nZXROb2RlKCksXG4gICAgICAgIGJyYWNrZXRlZFRlcm1DaGlsZE5vZGUgPSBicmFja2V0ZWRUZXJtQ2hpbGROb2RlRnJvbVRlcm1Ob2RlKHRlcm1Ob2RlKTtcblxuICBpZiAoYnJhY2tldGVkVGVybUNoaWxkTm9kZSAhPT0gbnVsbCkge1xuICAgIGNvbnN0IHRlcm1Ob2RlID0gYnJhY2tldGVkVGVybUNoaWxkTm9kZTsgIC8vL1xuXG4gICAgdGVybSA9IHRlcm1Gcm9tVGVybU5vZGUodGVybU5vZGUsIGNvbnRleHQpO1xuICB9XG5cbiAgcmV0dXJuIHRlcm07XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBzdHJpcEJyYWNrZXRzRnJvbVRlcm1Ob2RlKHRlcm1Ob2RlKSB7XG4gIGNvbnN0IGJyYWNrZXRlZFRlcm1DaGlsZE5vZGUgPSBicmFja2V0ZWRUZXJtQ2hpbGROb2RlRnJvbVRlcm1Ob2RlKHRlcm1Ob2RlKTtcblxuICBpZiAoYnJhY2tldGVkVGVybUNoaWxkTm9kZSAhPT0gbnVsbCkge1xuICAgIHRlcm1Ob2RlID0gYnJhY2tldGVkVGVybUNoaWxkTm9kZTsgIC8vL1xuICB9XG5cbiAgcmV0dXJuIHRlcm1Ob2RlO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gc3RyaXBCcmFja2V0c0Zyb21TdGF0ZW1lbnQoc3RhdGVtZW50LCBjb250ZXh0KSB7XG4gIGNvbnN0IHN0YXRlbWVudE5vZGUgPSBzdGF0ZW1lbnQuZ2V0Tm9kZSgpLFxuICAgICAgICBicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGUgPSBicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGVGcm9tU3RhdGVtZW50Tm9kZShzdGF0ZW1lbnROb2RlKTtcblxuICBpZiAoYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlICE9PSBudWxsKSB7XG4gICAgY29uc3Qgc3RhdGVtZW50Tm9kZSA9IGJyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZTsgIC8vL1xuXG4gICAgc3RhdGVtZW50ID0gc3RhdGVtZW50RnJvbVN0YXRlbWVudE5vZGUoc3RhdGVtZW50Tm9kZSwgY29udGV4dCk7XG4gIH1cblxuICByZXR1cm4gc3RhdGVtZW50O1xufVxuXG5leHBvcnQgZnVuY3Rpb24gc3RyaXBCcmFja2V0c0Zyb21TdGF0ZW1lbnROb2RlKHN0YXRlbWVudE5vZGUpIHtcbiAgY29uc3QgYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlID0gYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlRnJvbVN0YXRlbWVudE5vZGUoc3RhdGVtZW50Tm9kZSk7XG5cbiAgaWYgKGJyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZSAhPT0gbnVsbCkge1xuICAgIHN0YXRlbWVudE5vZGUgPSBicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGU7ICAvLy9cbiAgfVxuXG4gIHJldHVybiBzdGF0ZW1lbnROb2RlO1xufVxuXG5mdW5jdGlvbiBicmFja2V0ZWRUZXJtQ2hpbGROb2RlRnJvbVRlcm1Ob2RlKHRlcm1Ob2RlKSB7XG4gIGxldCBicmFja2V0ZWRUZXJtQ2hpbGROb2RlID0gbnVsbDtcblxuICBjb25zdCBkZXB0aCA9IEJSQUNLRVRFRF9URVJNX0RFUFRILFxuICAgICAgICBicmFja2V0ZWRDb25zdHJ1Y3RvciA9IGJyYWNrZXRlZENvbnN0cnVjdG9yRnJvbU5vdGhpbmcoKSxcbiAgICAgICAgYnJhY2tldGVkQ29uc3RydWN0b3JUZXJtID0gYnJhY2tldGVkQ29uc3RydWN0b3IuZ2V0VGVybSgpLFxuICAgICAgICBicmFja2V0ZWRDb25zdHJ1Y3RvclRlcm1Ob2RlID0gYnJhY2tldGVkQ29uc3RydWN0b3JUZXJtLmdldE5vZGUoKSxcbiAgICAgICAgdGVybU5vZGVNYXRjaEJyYWNrZXRlZENvbnN0cnVjdG9yTm9kZSA9IHRlcm1Ob2RlLm1hdGNoKGJyYWNrZXRlZENvbnN0cnVjdG9yVGVybU5vZGUsIGRlcHRoKTtcblxuICBpZiAodGVybU5vZGVNYXRjaEJyYWNrZXRlZENvbnN0cnVjdG9yTm9kZSkge1xuICAgIGNvbnN0IHNpbmd1bGFyVGVybU5vZGUgPSB0ZXJtTm9kZS5nZXRTaW5ndWxhclRlcm1Ob2RlKCk7XG5cbiAgICBicmFja2V0ZWRUZXJtQ2hpbGROb2RlID0gc2luZ3VsYXJUZXJtTm9kZTsgIC8vL1xuICB9XG5cbiAgcmV0dXJuIGJyYWNrZXRlZFRlcm1DaGlsZE5vZGU7XG59XG5cbmZ1bmN0aW9uIGJyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZUZyb21TdGF0ZW1lbnROb2RlKHN0YXRlbWVudE5vZGUpIHtcbiAgbGV0IGJyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZSA9IG51bGw7XG5cbiAgY29uc3QgZGVwdGggPSBCUkFDS0VURURfU1RBVEVNRU5UX0RFUFRILFxuICAgICAgICBicmFja2V0ZWRDb21iaW5hdG9yID0gYnJhY2tldGVkQ29tYmluYXRvckZyb21Ob3RoaW5nKCksXG4gICAgICAgIGJyYWNrZXRlZENvbWJpbmF0b3JTdGF0ZW1lbnQgPSBicmFja2V0ZWRDb21iaW5hdG9yLmdldFN0YXRlbWVudCgpLFxuICAgICAgICBicmFja2V0ZWRDb21iaW5hdG9yU3RhdGVtZW50bk5vZGUgPSBicmFja2V0ZWRDb21iaW5hdG9yU3RhdGVtZW50LmdldE5vZGUoKSxcbiAgICAgICAgc3RhdGVtZW50Tm9kZU1hdGNoQnJhY2tldGVkQ29tYmluYXRvclN0YXRlbWVudE5vZGUgPSBzdGF0ZW1lbnROb2RlLm1hdGNoKGJyYWNrZXRlZENvbWJpbmF0b3JTdGF0ZW1lbnRuTm9kZSwgZGVwdGgpO1xuXG4gIGlmIChzdGF0ZW1lbnROb2RlTWF0Y2hCcmFja2V0ZWRDb21iaW5hdG9yU3RhdGVtZW50Tm9kZSkge1xuICAgIGNvbnN0IHNpbmd1bGFyU3RhdGVtZW50Tm9kZSA9IHN0YXRlbWVudE5vZGUuZ2V0U2luZ3VsYXJTdGF0ZW1lbnROb2RlKCk7XG5cbiAgICBicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGUgPSBzaW5ndWxhclN0YXRlbWVudE5vZGU7ICAvLy9cbiAgfVxuXG4gIHJldHVybiBicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGU7XG59XG4iXSwibmFtZXMiOlsic3RyaXBCcmFja2V0c0Zyb21TdGF0ZW1lbnQiLCJzdHJpcEJyYWNrZXRzRnJvbVN0YXRlbWVudE5vZGUiLCJzdHJpcEJyYWNrZXRzRnJvbVRlcm0iLCJzdHJpcEJyYWNrZXRzRnJvbVRlcm1Ob2RlIiwidGVybSIsImNvbnRleHQiLCJ0ZXJtTm9kZSIsImdldE5vZGUiLCJicmFja2V0ZWRUZXJtQ2hpbGROb2RlIiwiYnJhY2tldGVkVGVybUNoaWxkTm9kZUZyb21UZXJtTm9kZSIsInRlcm1Gcm9tVGVybU5vZGUiLCJzdGF0ZW1lbnQiLCJzdGF0ZW1lbnROb2RlIiwiYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlIiwiYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlRnJvbVN0YXRlbWVudE5vZGUiLCJzdGF0ZW1lbnRGcm9tU3RhdGVtZW50Tm9kZSIsImRlcHRoIiwiQlJBQ0tFVEVEX1RFUk1fREVQVEgiLCJicmFja2V0ZWRDb25zdHJ1Y3RvciIsImJyYWNrZXRlZENvbnN0cnVjdG9yRnJvbU5vdGhpbmciLCJicmFja2V0ZWRDb25zdHJ1Y3RvclRlcm0iLCJnZXRUZXJtIiwiYnJhY2tldGVkQ29uc3RydWN0b3JUZXJtTm9kZSIsInRlcm1Ob2RlTWF0Y2hCcmFja2V0ZWRDb25zdHJ1Y3Rvck5vZGUiLCJtYXRjaCIsInNpbmd1bGFyVGVybU5vZGUiLCJnZXRTaW5ndWxhclRlcm1Ob2RlIiwiQlJBQ0tFVEVEX1NUQVRFTUVOVF9ERVBUSCIsImJyYWNrZXRlZENvbWJpbmF0b3IiLCJicmFja2V0ZWRDb21iaW5hdG9yRnJvbU5vdGhpbmciLCJicmFja2V0ZWRDb21iaW5hdG9yU3RhdGVtZW50IiwiZ2V0U3RhdGVtZW50IiwiYnJhY2tldGVkQ29tYmluYXRvclN0YXRlbWVudG5Ob2RlIiwic3RhdGVtZW50Tm9kZU1hdGNoQnJhY2tldGVkQ29tYmluYXRvclN0YXRlbWVudE5vZGUiLCJzaW5ndWxhclN0YXRlbWVudE5vZGUiLCJnZXRTaW5ndWxhclN0YXRlbWVudE5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQTZCZ0JBO2VBQUFBOztRQWFBQztlQUFBQTs7UUFwQ0FDO2VBQUFBOztRQWFBQztlQUFBQTs7O3lCQWpCNkM7MkJBQ0c7MEJBQ2dCO0FBRXpFLFNBQVNELHNCQUFzQkUsSUFBSSxFQUFFQyxPQUFPO0lBQ2pELE1BQU1DLFdBQVdGLEtBQUtHLE9BQU8sSUFDdkJDLHlCQUF5QkMsbUNBQW1DSDtJQUVsRSxJQUFJRSwyQkFBMkIsTUFBTTtRQUNuQyxNQUFNRixXQUFXRSx3QkFBeUIsR0FBRztRQUU3Q0osT0FBT00sSUFBQUEseUJBQWdCLEVBQUNKLFVBQVVEO0lBQ3BDO0lBRUEsT0FBT0Q7QUFDVDtBQUVPLFNBQVNELDBCQUEwQkcsUUFBUTtJQUNoRCxNQUFNRSx5QkFBeUJDLG1DQUFtQ0g7SUFFbEUsSUFBSUUsMkJBQTJCLE1BQU07UUFDbkNGLFdBQVdFLHdCQUF5QixHQUFHO0lBQ3pDO0lBRUEsT0FBT0Y7QUFDVDtBQUVPLFNBQVNOLDJCQUEyQlcsU0FBUyxFQUFFTixPQUFPO0lBQzNELE1BQU1PLGdCQUFnQkQsVUFBVUosT0FBTyxJQUNqQ00sOEJBQThCQyw2Q0FBNkNGO0lBRWpGLElBQUlDLGdDQUFnQyxNQUFNO1FBQ3hDLE1BQU1ELGdCQUFnQkMsNkJBQThCLEdBQUc7UUFFdkRGLFlBQVlJLElBQUFBLG1DQUEwQixFQUFDSCxlQUFlUDtJQUN4RDtJQUVBLE9BQU9NO0FBQ1Q7QUFFTyxTQUFTViwrQkFBK0JXLGFBQWE7SUFDMUQsTUFBTUMsOEJBQThCQyw2Q0FBNkNGO0lBRWpGLElBQUlDLGdDQUFnQyxNQUFNO1FBQ3hDRCxnQkFBZ0JDLDZCQUE4QixHQUFHO0lBQ25EO0lBRUEsT0FBT0Q7QUFDVDtBQUVBLFNBQVNILG1DQUFtQ0gsUUFBUTtJQUNsRCxJQUFJRSx5QkFBeUI7SUFFN0IsTUFBTVEsUUFBUUMsK0JBQW9CLEVBQzVCQyx1QkFBdUJDLElBQUFBLHlDQUErQixLQUN0REMsMkJBQTJCRixxQkFBcUJHLE9BQU8sSUFDdkRDLCtCQUErQkYseUJBQXlCYixPQUFPLElBQy9EZ0Isd0NBQXdDakIsU0FBU2tCLEtBQUssQ0FBQ0YsOEJBQThCTjtJQUUzRixJQUFJTyx1Q0FBdUM7UUFDekMsTUFBTUUsbUJBQW1CbkIsU0FBU29CLG1CQUFtQjtRQUVyRGxCLHlCQUF5QmlCLGtCQUFtQixHQUFHO0lBQ2pEO0lBRUEsT0FBT2pCO0FBQ1Q7QUFFQSxTQUFTTSw2Q0FBNkNGLGFBQWE7SUFDakUsSUFBSUMsOEJBQThCO0lBRWxDLE1BQU1HLFFBQVFXLG9DQUF5QixFQUNqQ0Msc0JBQXNCQyxJQUFBQSx3Q0FBOEIsS0FDcERDLCtCQUErQkYsb0JBQW9CRyxZQUFZLElBQy9EQyxvQ0FBb0NGLDZCQUE2QnZCLE9BQU8sSUFDeEUwQixxREFBcURyQixjQUFjWSxLQUFLLENBQUNRLG1DQUFtQ2hCO0lBRWxILElBQUlpQixvREFBb0Q7UUFDdEQsTUFBTUMsd0JBQXdCdEIsY0FBY3VCLHdCQUF3QjtRQUVwRXRCLDhCQUE4QnFCLHVCQUF3QixHQUFHO0lBQzNEO0lBRUEsT0FBT3JCO0FBQ1QifQ==

package/lib/utilities/breakPoint.js

@@ -1,38 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-function _export(target, all) {
-    for(var name in all)Object.defineProperty(target, name, {
-        enumerable: true,
-        get: Object.getOwnPropertyDescriptor(all, name).get
-    });
-}
-_export(exports, {
-    get breakPointFromJSON () {
-        return breakPointFromJSON;
-    },
-    get breakPointToBreakPointJSON () {
-        return breakPointToBreakPointJSON;
-    }
-});
-const _occamlanguages = require("occam-languages");
-function breakPointFromJSON(json) {
-    let breakPoint;
-    ({ breakPoint } = json);
-    if (breakPoint !== null) {
-        const breakPointJSON = breakPoint; ///
-        json = breakPointJSON; ///
-        breakPoint = _occamlanguages.BreakPoint.fromJSON(json); ///
-    }
-    return breakPoint;
-}
-function breakPointToBreakPointJSON(breakPoint) {
-    let breakPointJSON = null;
-    if (breakPoint !== null) {
-        breakPointJSON = breakPoint.toJSON();
-    }
-    return breakPointJSON;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvYnJlYWtQb2ludC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgQnJlYWtQb2ludCB9IGZyb20gXCJvY2NhbS1sYW5ndWFnZXNcIjtcblxuZXhwb3J0IGZ1bmN0aW9uIGJyZWFrUG9pbnRGcm9tSlNPTihqc29uKSB7XG4gIGxldCBicmVha1BvaW50O1xuXG4gICh7IGJyZWFrUG9pbnQgfSA9IGpzb24pO1xuXG4gIGlmIChicmVha1BvaW50ICE9PSBudWxsKSB7XG4gICAgY29uc3QgYnJlYWtQb2ludEpTT04gPSBicmVha1BvaW50OyAgLy8vXG5cbiAgICBqc29uID0gYnJlYWtQb2ludEpTT047ICAvLy9cblxuICAgIGJyZWFrUG9pbnQgPSBCcmVha1BvaW50LmZyb21KU09OKGpzb24pOyAgLy8vXG4gIH1cblxuICByZXR1cm4gYnJlYWtQb2ludDtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGJyZWFrUG9pbnRUb0JyZWFrUG9pbnRKU09OKGJyZWFrUG9pbnQpIHtcbiAgbGV0IGJyZWFrUG9pbnRKU09OID0gbnVsbDtcblxuICBpZiAoYnJlYWtQb2ludCAhPT0gbnVsbCkge1xuICAgIGJyZWFrUG9pbnRKU09OID0gYnJlYWtQb2ludC50b0pTT04oKTtcbiAgfVxuXG4gIHJldHVybiBicmVha1BvaW50SlNPTjtcbn1cbiJdLCJuYW1lcyI6WyJicmVha1BvaW50RnJvbUpTT04iLCJicmVha1BvaW50VG9CcmVha1BvaW50SlNPTiIsImpzb24iLCJicmVha1BvaW50IiwiYnJlYWtQb2ludEpTT04iLCJCcmVha1BvaW50IiwiZnJvbUpTT04iLCJ0b0pTT04iXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQUlnQkE7ZUFBQUE7O1FBZ0JBQztlQUFBQTs7O2dDQWxCVztBQUVwQixTQUFTRCxtQkFBbUJFLElBQUk7SUFDckMsSUFBSUM7SUFFSCxDQUFBLEVBQUVBLFVBQVUsRUFBRSxHQUFHRCxJQUFHO0lBRXJCLElBQUlDLGVBQWUsTUFBTTtRQUN2QixNQUFNQyxpQkFBaUJELFlBQWEsR0FBRztRQUV2Q0QsT0FBT0UsZ0JBQWlCLEdBQUc7UUFFM0JELGFBQWFFLDBCQUFVLENBQUNDLFFBQVEsQ0FBQ0osT0FBUSxHQUFHO0lBQzlDO0lBRUEsT0FBT0M7QUFDVDtBQUVPLFNBQVNGLDJCQUEyQkUsVUFBVTtJQUNuRCxJQUFJQyxpQkFBaUI7SUFFckIsSUFBSUQsZUFBZSxNQUFNO1FBQ3ZCQyxpQkFBaUJELFdBQVdJLE1BQU07SUFDcEM7SUFFQSxPQUFPSDtBQUNUIn0=