occam-verify-cli 0.0.1065 → 0.0.1066

package/src/mixins/statement/verify.js

@@ -6,7 +6,8 @@ import TypeAssertion from "../../assertion/type";
 import DefinedAssertion from "../../assertion/defined";
 import SubproofAssertion from "../../assertion/subproof";
 import ContainedAssertion from "../../assertion/contained";
-import StatementSubstitution from "../../substitution/statement";
+import TermForVariableSubstitution from "../../substitution/termForVariable";
+import FrameForMetavariableSubstitution from "../../substitution/frameForMetavariable";
 
 import verifyFrame from "../../verify/frame";
 import verifyJudgement from "../../verify/judgement";
@@ -41,12 +42,12 @@ function verifyAsMetavariable(statement, assignments, stated, localContext) {
     if (metavariableVerified) {
       let substitutionVerified = true;
 
-      const statementSubstitution = StatementSubstitution.fromStatementNode(statementNode, localContext);
+      const substitution = FrameForMetavariableSubstitution.fromStatementNode(statementNode, localContext) ||
+                             TermForVariableSubstitution.fromStatementNode(statementNode, localContext) ||
+                               null;
 
-      if (statementSubstitution !== null) {
-        const statementSubstitutionVerified = statementSubstitution.verify(assignments, stated, localContext);
-
-        substitutionVerified = statementSubstitutionVerified; ///
+      if (substitution !== null) {
+        substitutionVerified = substitution.verify(assignments, stated, localContext);
       }
 
       verifiedAsMetavariable = substitutionVerified; ///

package/src/ruleNames.js

@@ -2,6 +2,5 @@
 
 export const VARIABLE_RULE_NAME = "variable";
 export const METAVARIABLE_RULE_NAME = "metavariable";
-export const SUBSTITUTION_RULE_NAME = "substitution";
 export const UNQUALIFIED_STATEMENT_RULE_NAME = "unqualifiedStatement";
 export const CONSTRUCTOR_DECLARATION_RULE_NAME = "constructorDeclaration";

package/src/statement.js

@@ -9,17 +9,20 @@ import statementAsCombinatorVerifier from "./verifier/statementAsCombinator";
 
 import { nodeQuery, nodesQuery } from "./utilities/query";
 import { STATEMENT_META_TYPE_NAME } from "./metaTypeNames";
-import { statementNodeFromStatementString } from "./utilities/node";
+import { statementTokensFromUnqualifiedStatementTokens, unqualifiedStatementTokensFromUnqualifiedStatementString } from "./utilities/tokens";
+import { statementNodeFromUnqualifiedStatementNode,
+         unqualifiedStatementStringFromStatementString,
+         unqualifiedStatementNodeFromUnqualifiedStatementTokens } from "./utilities/node";
 
 const statementNodeQuery = nodeQuery("/*//statement"),
-      substitutionNodeQuery = nodeQuery("/statement/substitution"),
       statementVariableNodesQuery = nodesQuery("/statement//variable"),
       statementMetavariableNodesQuery = nodesQuery("/statement//metavariable");
 
 class Statement {
-  constructor(string, node) {
+  constructor(string, node, tokens) {
     this.string = string;
     this.node = node;
+    this.tokens = tokens;
   }
 
   getString() {
@@ -30,6 +33,10 @@ class Statement {
     return this.node;
   }
 
+  getTokens() {
+    return this.tokens;
+  }
+
   isEqualTo(statement) {
     const node = statement.getNode(),
           matches = this.node.match(node),
@@ -92,6 +99,32 @@ class Statement {
     return metavariableContained;
   }
 
+  unifyStatement(statement, substitutions, fileContext, localContext) {
+    let statementUnified;
+
+    const statementA = this,  ///
+          statementB = statement, ///
+          statementAString = statementA.getString(),
+          statementBString = statementB.getString();
+
+    localContext.trace(`Unifying the '${statementBString}' statement with the '${statementAString}' statement...`);
+
+    const statementANode = statementA.getNode(),
+          statementBNode = statementB.getNode(),
+          nodeA = statementANode, ///
+          nodeB = statementBNode, ///
+          fileContextA = fileContext, ///
+          localContextA = LocalContext.fromFileContextAndTokens(fileContextA, this.tokens),
+          localContextB = localContext, ///
+          unifiedAtMetaLevel = metaLevelUnifier.unify(nodeA, nodeB, substitutions, localContextA, localContextB);
+
+    statementUnified = unifiedAtMetaLevel; ///
+
+    localContext.debug(`...unified the '${statementBString}' statement with the '${statementAString}' statement.`);
+
+    return statementUnified;
+  }
+
   verify(assignments, stated, localContext) {
     let verified = false;
 
@@ -169,32 +202,6 @@ class Statement {
     return verifiedGivenMetaType;
   }
 
-  unifyStatement(statement, substitutions, fileContext, localContext) {
-    let statementUnified;
-
-    const statementA = this,  ///
-          statementB = statement, ///
-          statementAString = statementA.getString(),
-          statementBString = statementB.getString();
-
-    localContext.trace(`Unifying the '${statementBString}' statement with the '${statementAString}' statement...`);
-
-    const statementANode = statementA.getNode(),
-          statementBNode = statementB.getNode(),
-          nodeA = statementANode, ///
-          nodeB = statementBNode, ///
-          fileContextA = fileContext, ///
-          localContextA = LocalContext.fromFileContext(fileContextA),
-          localContextB = localContext, ///
-          unifiedAtMetaLevel = metaLevelUnifier.unify(nodeA, nodeB, substitutions, localContextA, localContextB);
-
-    statementUnified = unifiedAtMetaLevel; ///
-
-    localContext.debug(`...unified the '${statementBString}' statement with the '${statementAString}' statement.`);
-
-    return statementUnified;
-  }
-
   toJSON() {
     const string = this.string, ///
           json = {
@@ -209,9 +216,14 @@ class Statement {
           statementString = string, ///
           lexer = fileContext.getLexer(),
           parser = fileContext.getParser(),
-          statementNode = statementNodeFromStatementString(statementString, lexer, parser),
+          unqualifiedStatementString = unqualifiedStatementStringFromStatementString(statementString),
+          unqualifiedStatementTokens = unqualifiedStatementTokensFromUnqualifiedStatementString(unqualifiedStatementString, lexer),
+          unqualifiedStatementNode = unqualifiedStatementNodeFromUnqualifiedStatementTokens(unqualifiedStatementTokens, parser),
+          statementTokens = statementTokensFromUnqualifiedStatementTokens(unqualifiedStatementTokens),
+          statementNode = statementNodeFromUnqualifiedStatementNode(unqualifiedStatementNode),
           node = statementNode,  ///
-          statement = new Statement(string, node);
+          tokens = statementTokens, ///
+          statement = new Statement(string, node, tokens);
 
     return statement;
   }
@@ -221,9 +233,10 @@ class Statement {
 
     if (statementNode !== null) {
       const node = statementNode, ///
-            string = localContext.nodeAsString(node);
+            tokens = localContext.nodeAsTokens(node),
+            string = localContext.tokensAsString(tokens);
 
-      statement = new Statement(string, node);
+      statement = new Statement(string, node, tokens);
     }
 
     return statement;
@@ -232,8 +245,9 @@ class Statement {
   static fromDefinedAssertionNode(definedAssertionNode, localContext) {
     const statementNode = statementNodeQuery(definedAssertionNode),
           node = statementNode, ///
-          string = localContext.nodeAsString(node),
-          statement = new Statement(string, node);
+          tokens = localContext.nodeAsTokens(node),
+          string = localContext.tokensAsString(tokens),
+          statement = new Statement(string, node, tokens);
 
     return statement;
   }
@@ -241,8 +255,9 @@ class Statement {
   static fromContainedAssertionNode(containedAssertionNode, localContext) {
     const statementNode = statementNodeQuery(containedAssertionNode),
           node = statementNode, ///
-          string = localContext.nodeAsString(node),
-          statement = new Statement(string, node);
+          tokens = localContext.nodeAsTokens(node),
+          string = localContext.tokensAsString(tokens),
+          statement = new Statement(string, node, tokens);
 
     return statement;
   }

package/src/substitution/frameForMetavariable.js

@@ -4,7 +4,8 @@ import Substitution from "../substitution";
 
 import { nodeQuery } from "../utilities/query";
 
-const substitutionFrameNodeQuery = nodeQuery("/substitution/frame!"),
+const substitutionNodeQuery = nodeQuery("/statement/substitution"),
+      substitutionFrameNodeQuery = nodeQuery("/substitution/frame!"),
       frameMetavariableNodeQuery = nodeQuery("/frame/metavariable!"),
       substitutionMetavariableNodeQuery = nodeQuery("/substitution/metavariable!");
 
@@ -87,6 +88,30 @@ export default class FrameForMetavariableSubstitution extends Substitution {
     return frameForMetavariableSubstitution;
   }
 
+  static fromStatementNode(statementNode, localContext) {
+    let frameForMetavariableSubstitution = null;
+
+    const substitutionNode = substitutionNodeQuery(statementNode);
+
+    if (substitutionNode !== null) {
+      const substitutionFrameNode = substitutionFrameNodeQuery(substitutionNode);
+
+      if (substitutionFrameNode !== null) {
+        const substitutionMetavariableNode = substitutionMetavariableNodeQuery(substitutionNode),
+              metavariableNode = substitutionMetavariableNode,  ///
+              frameNode = substitutionFrameNode,  ///
+              localContextA = localContext, ///
+              localContextB = localContext, ///
+              string = stringFromFrameNodeAndMetavariableNode(frameNode, metavariableNode, localContextA, localContextB);
+
+        frameForMetavariableSubstitution = new FrameForMetavariableSubstitution(string, frameNode, metavariableNode);
+      }
+
+    }
+
+    return frameForMetavariableSubstitution;
+  }
+
   static fromFrameNodeAndMetavariableNode(frameNode, metavariableNode, localContextA, localContextB) {
     const string = stringFromFrameNodeAndMetavariableNode(frameNode, metavariableNode, localContextA, localContextB),
           frameForMetavariableSubstitution = new FrameForMetavariableSubstitution(string, frameNode, metavariableNode);

package/src/substitution/termForVariable.js

@@ -6,7 +6,8 @@ import Substitution from "../substitution";
 import { nodeQuery } from "../utilities/query";
 import { stripBracketsFromTerm } from "../utilities/brackets";
 
-const termVariableNodeQuery = nodeQuery("/term/variable!"),
+const substitutionNodeQuery = nodeQuery("/statement/substitution"),
+      termVariableNodeQuery = nodeQuery("/term/variable!"),
       substitutionTermNodeQuery = nodeQuery("/substitution/term!"),
       substitutionsVariableNodeQuery = nodeQuery("/substitution/variable!");
 
@@ -111,6 +112,34 @@ export default class TermForVariableSubstitution extends Substitution {
     return termForVariableSubstitution;
   }
 
+  static fromStatementNode(statementNode, localContext) {
+    let termForVariableSubstitution = null;
+
+    const substitutionNode = substitutionNodeQuery(statementNode);
+
+    if (substitutionNode !== null) {
+      let substitutionTermNode = substitutionTermNodeQuery(substitutionNode);
+
+      if (substitutionTermNode !== null) {
+        let termNode;
+
+        const substitutionVariableNode = substitutionsVariableNodeQuery(substitutionNode),
+              variableNode = substitutionVariableNode;  ///
+
+        termNode = substitutionTermNode;  ///
+
+        const { Term, Variable } = shim,
+              term = Term.fromTermNode(termNode, localContext),
+              variable = Variable.fromVariableNode(variableNode, localContext),
+              string = stringFromTermAndVariable(term, variable);
+
+        termForVariableSubstitution = new TermForVariableSubstitution(string, termNode, variableNode);
+      }
+    }
+
+    return termForVariableSubstitution;
+  }
+
   static fromTernAndVariable(term, variable) {
     let termNode = term.getNode();
 

package/src/unifier/metaLevel.js

@@ -40,6 +40,7 @@ class MetaLevelUnifier extends Unifier {
           statementUnified = true;
         } else {
           const statementNode = statementNodeA, ///
+                statementSubstitution = null, ///
                 statementMetavariableNode = statementMetavariableNodeQuery(statementNode);
 
           if (statementMetavariableNode !== null) {
@@ -47,7 +48,7 @@ class MetaLevelUnifier extends Unifier {
                   metavariableNode = statementMetavariableNode, ///
                   metavariableName = metavariableNameFromMetavariableNode(metavariableNode),
                   metavariable = localContextA.findMetavariableByMetavariableName(metavariableName),
-                  substitution = substitutionA,  ///
+                  substitution = statementSubstitution, ///
                   localContext = localContextB, ///
                   statementNode = statementNodeB, ///
                   statement = Statement.fromStatementNode(statementNode, localContext);
@@ -109,8 +110,6 @@ const metaLevelUnifier = new MetaLevelUnifier();
 export default metaLevelUnifier;
 
 function unifyStatementWithStatement(statementNodeA, statementNodeB, substitutions, localContextA, localContextB) {
-  substitutionA = null;
-
   const nonTerminalNodeA = statementNodeA, ///
         nonTerminalNodeB = statementNodeB, ///
         nonTerminalNodeAChildNodes = nonTerminalNodeA.getChildNodes(),

package/src/utilities/brackets.js

@@ -1,9 +1,8 @@
 "use strict";
 
-import bracketedTermNode from "../node/term/bracketed";
-import bracketedStatementNode from "../node/statement/bracketed";
-
 import { nodeQuery } from "../utilities/query";
+import { bracketedTermNode } from "../constructor/bracketed";
+import { bracketedStatementNode } from "../combinator/bracketed";
 import { BRACKETED_TERM_DEPTH, BRACKETED_STATEMENT_DEPTH } from "../constants";
 
 const bracketedTermChildNodeQuery = nodeQuery("/term/argument/term!"),

package/src/utilities/node.js

@@ -6,12 +6,10 @@ import { nodeQuery } from "../utilities/query";
 import { combinedCustomGrammarFromNothing } from "./customGrammar";
 import { VARIABLE_RULE_NAME,
          METAVARIABLE_RULE_NAME,
-         SUBSTITUTION_RULE_NAME,
          UNQUALIFIED_STATEMENT_RULE_NAME,
          CONSTRUCTOR_DECLARATION_RULE_NAME } from "../ruleNames";
 import { variableTokensFromVariableString,
          metavariableTokensFromMetavariableString,
-         substitutionTokensFromSubstitutionString,
          unqualifiedStatementTokensFromUnqualifiedStatementString,
          constructorDeclarationTokensFromConstructorDeclarationString } from "../utilities/tokens";
 
@@ -24,11 +22,10 @@ const termNodeQuery = nodeQuery("/constructorDeclaration/term"),
       statementNodeQuery = nodeQuery("/unqualifiedStatement/statement");
 
 export function termNodeFromTermString(termString, lexer, parser) {
-  const constructorDeclarationString = `Constructor ${termString}
-`,
+  const constructorDeclarationString = constructorDeclarationStringFromTermString(termString),
         constructorDeclarationTokens = constructorDeclarationTokensFromConstructorDeclarationString(constructorDeclarationString, lexer),
         constructorDeclarationNode = constructorDeclarationNodeFromConstructorDeclarationTokens(constructorDeclarationTokens, parser),
-        termNode = termNodeQuery(constructorDeclarationNode, constructorDeclarationNode);
+        termNode = termNodeFromConstructorDeclarationNode(constructorDeclarationNode);
 
   return termNode;
 }
@@ -41,15 +38,40 @@ export function variableNodeFromVariableString(variableString, lexer, parser) {
 }
 
 export function statementNodeFromStatementString(statementString, lexer, parser) {
-  const unqualifiedStatementString = `${statementString}
-`,
+  const unqualifiedStatementString =unqualifiedStatementStringFromStatementString(statementString),
         unqualifiedStatementTokens = unqualifiedStatementTokensFromUnqualifiedStatementString(unqualifiedStatementString, lexer),
         unqualifiedStatementNode = unqualifiedStatementNodeFromUnqualifiedStatementTokens(unqualifiedStatementTokens, parser),
-        statementNode = statementNodeQuery(unqualifiedStatementNode);
+        statementNode = statementNodeFromUnqualifiedStatementNode(unqualifiedStatementNode);
+
+  return statementNode;
+}
+
+export function termNodeFromConstructorDeclarationNode(constructorDeclarationNode) {
+  const termNode = termNodeQuery(constructorDeclarationNode, constructorDeclarationNode);
+
+  return termNode;
+}
+
+export function statementNodeFromUnqualifiedStatementNode(unqualifiedStatementNode) {
+  const statementNode = statementNodeQuery(unqualifiedStatementNode);
 
   return statementNode;
 }
 
+export function constructorDeclarationStringFromTermString(termString) {
+  const constructorDeclarationString = `Constructor ${termString}
+`;
+
+  return constructorDeclarationString;
+}
+
+export function unqualifiedStatementStringFromStatementString(statementString) {
+  const unqualifiedStatementString = `${statementString}
+`;
+
+  return unqualifiedStatementString;
+}
+
 export function metavariableNodeFromMetavariableString(metavariableString, lexer, parser) {
   const metavariableTokens = metavariableTokensFromMetavariableString(metavariableString, lexer),
         metavariableNode = metavariableNodeFromMetavariableTokens(metavariableTokens, parser);
@@ -57,13 +79,6 @@ export function metavariableNodeFromMetavariableString(metavariableString, lexer
   return metavariableNode;
 }
 
-export function substitutionNodeFromSubstitutionString(substitutionString, lexer, parser) {
-  const substitutionTokens = substitutionTokensFromSubstitutionString(substitutionString, lexer),
-        substitutionNode = substitutionNodeFromSubstitutionTokens(substitutionTokens, parser);
-
-  return substitutionNode;
-}
-
 export function variableNodeFromVariableTokens(variableTokens, parser) {
   const ruleName = VARIABLE_RULE_NAME,
         variableNode = nodeFromTokensRuleNameAndParser(variableTokens, ruleName, parser);
@@ -78,13 +93,6 @@ export function metavariableNodeFromMetavariableTokens(metavariableTokens, parse
   return metavariableNode;
 }
 
-export function substitutionNodeFromSubstitutionTokens(substitutionTokens, parser) {
-  const ruleName = SUBSTITUTION_RULE_NAME,
-        substitutionNode = nodeFromTokensRuleNameAndParser(substitutionTokens, ruleName, parser);
-
-  return substitutionNode;
-}
-
 export function unqualifiedStatementNodeFromUnqualifiedStatementTokens(unqualifiedStatementTokens, parser) {
   const tokens = unqualifiedStatementTokens,  ///
         ruleName = UNQUALIFIED_STATEMENT_RULE_NAME,

package/src/utilities/string.js

@@ -11,17 +11,9 @@ export function trim(string) {
 export function nodeAsString(node, tokens) {
   let string;
 
-  const nodeTerminalNode = node.isTerminalNode();
-
-  if (nodeTerminalNode) {
-    const terminalNode = node;  ///
-
-    string = terminalNodeAsString(terminalNode);
-  } else {
-    const nonTerminalNode = node; ///
+  tokens = nodeAsTokens(node, tokens);  ///
 
-    string = nonTerminalNodeAsString(nonTerminalNode, tokens);
-  }
+  string = tokensAsString(tokens);
 
   return string;
 }
@@ -40,14 +32,46 @@ export function nodesAsString(nodes, tokens) {
   return string;
 }
 
-function terminalNodeAsString(terminalNode) {
-  const content = terminalNode.getContent(),
-        string = content; ///
+export function tokensAsString(tokens) {
+  const string = tokens.reduce((string, token) => {
+    const content = token.getContent();
+
+    string = `${string}${content}`;
+
+    return string;
+  }, EMPTY_STRING);
 
   return string;
 }
 
-function nonTerminalNodeAsString(nonTerminalNode, tokens) {
+export function nodeAsTokens(node, tokens) {
+  const nodeTerminalNode = node.isTerminalNode();
+
+  if (nodeTerminalNode) {z
+    const terminalNode = node;  ///
+
+    tokens = terminalNodeAsTokens(terminalNode, tokens);
+  } else {
+    const nonTerminalNode = node; ///
+
+    tokens = nonTerminalNodeAsTokens(nonTerminalNode, tokens);
+  }
+
+  return tokens;
+}
+
+function terminalNodeAsTokens(terminalNode, tokens) {
+  const significantToken = terminalNode.getSignificantToken(),
+        token = significantToken; ///
+
+  tokens = [  ///
+    token
+  ];
+
+  return tokens;
+}
+
+function nonTerminalNodeAsTokens(nonTerminalNode, tokens) {
   const lastSignificantTokenIndex = nonTerminalNode.getLastSignificantTokenIndex(tokens),
         firstSignificantTokenIndex = nonTerminalNode.getFirstSignificantTokenIndex(tokens),
         start = firstSignificantTokenIndex, ///
@@ -55,13 +79,5 @@ function nonTerminalNodeAsString(nonTerminalNode, tokens) {
 
   tokens = tokens.slice(start, end);  ///
 
-  const string = tokens.reduce((string, token) => {
-    const content = token.getContent();
-
-    string = `${string}${content}`;
-
-    return string;
-  }, EMPTY_STRING);
-
-  return string;
+  return tokens;
 }

package/src/utilities/tokens.js

@@ -1,10 +1,12 @@
 "use strict";
 
+import { arrayUtilities } from "necessary";
 import { lexersUtilities } from "occam-custom-grammars";
 
 import { combinedCustomGrammarFromNothing } from "./customGrammar";
 
-const { nominalLexerFromCombinedCustomGrammar } = lexersUtilities;
+const { front } = arrayUtilities,
+      { nominalLexerFromCombinedCustomGrammar } = lexersUtilities;
 
 const combinedCustomGrammar = combinedCustomGrammarFromNothing(),
       nominalLexer = nominalLexerFromCombinedCustomGrammar(combinedCustomGrammar);
@@ -23,13 +25,6 @@ export function metavariableTokensFromMetavariableString(metavariableString, lex
   return metavariableTokens;
 }
 
-export function substitutionTokensFromSubstitutionString(substitutionString, lexer) {
-  const substitutionContent = `${substitutionString}`,
-        substitutionTokens = tokensFromContentAndLexer(substitutionContent, lexer);
-
-  return substitutionTokens;
-}
-
 export function unqualifiedStatementTokensFromUnqualifiedStatementString(unqualifiedStatementString, lexer) {
   const content = unqualifiedStatementString,  ///
         unqualifiedStatementTokens = tokensFromContentAndLexer(content, lexer);
@@ -44,6 +39,20 @@ export function constructorDeclarationTokensFromConstructorDeclarationString(con
   return constructorDeclarationTokens;
 }
 
+export function termTokensFromConstructorDeclarationTokens(constructorDeclarationTokens) {
+  const frontConstructorDeclarationTokens = front(constructorDeclarationTokens),
+        termTokens = frontConstructorDeclarationTokens;  ///
+
+  return termTokens;
+}
+
+export function statementTokensFromUnqualifiedStatementTokens(unqualifiedStatementTokens) {
+  const frontUnqualifiedStatementTokens = front(unqualifiedStatementTokens),
+        statementTokens = frontUnqualifiedStatementTokens;  ///
+
+  return statementTokens;
+}
+
 function tokensFromContentAndLexer(content, lexer = nominalLexer) {
   const tokens = lexer.tokenise(content);
 

package/lib/node/statement/bracketed.js

@@ -1,16 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return _default;
-    }
-});
-var _node = require("../../utilities/node");
-var bracketedStatementString = "(n=m)";
-var bracketedStatementNode = (0, _node.statementNodeFromStatementString)(bracketedStatementString);
-var _default = bracketedStatementNode;
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL3N0YXRlbWVudC9icmFja2V0ZWQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IHN0YXRlbWVudE5vZGVGcm9tU3RhdGVtZW50U3RyaW5nIH0gZnJvbSBcIi4uLy4uL3V0aWxpdGllcy9ub2RlXCI7XG5cbmNvbnN0IGJyYWNrZXRlZFN0YXRlbWVudFN0cmluZyA9IFwiKG49bSlcIjtcblxuY29uc3QgYnJhY2tldGVkU3RhdGVtZW50Tm9kZSA9IHN0YXRlbWVudE5vZGVGcm9tU3RhdGVtZW50U3RyaW5nKGJyYWNrZXRlZFN0YXRlbWVudFN0cmluZyk7XG5cbmV4cG9ydCBkZWZhdWx0IGJyYWNrZXRlZFN0YXRlbWVudE5vZGU7XG4iXSwibmFtZXMiOlsiYnJhY2tldGVkU3RhdGVtZW50U3RyaW5nIiwiYnJhY2tldGVkU3RhdGVtZW50Tm9kZSIsInN0YXRlbWVudE5vZGVGcm9tU3RhdGVtZW50U3RyaW5nIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFRQTs7O2VBQUE7OztvQkFOaUQ7QUFFakQsSUFBTUEsMkJBQTJCO0FBRWpDLElBQU1DLHlCQUF5QkMsSUFBQUEsc0NBQWdDLEVBQUNGO0lBRWhFLFdBQWVDIn0=

package/lib/node/statement/combinator/bracketed.js

@@ -1,25 +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: all[name]
-    });
-}
-_export(exports, {
-    bracketedCombinatorStatementString: function() {
-        return bracketedCombinatorStatementString;
-    },
-    default: function() {
-        return _default;
-    }
-});
-var _metaTypeNames = require("../../../metaTypeNames");
-var _node = require("../../../utilities/node");
-var bracketedCombinatorStatementString = "(".concat(_metaTypeNames.STATEMENT_META_TYPE_NAME, ")");
-var bracketedCombinatorStatementNode = (0, _node.statementNodeFromStatementString)(bracketedCombinatorStatementString);
-var _default = bracketedCombinatorStatementNode;
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uLy4uL3NyYy9ub2RlL3N0YXRlbWVudC9jb21iaW5hdG9yL2JyYWNrZXRlZC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgU1RBVEVNRU5UX01FVEFfVFlQRV9OQU1FIH0gZnJvbSBcIi4uLy4uLy4uL21ldGFUeXBlTmFtZXNcIjtcbmltcG9ydCB7IHN0YXRlbWVudE5vZGVGcm9tU3RhdGVtZW50U3RyaW5nIH0gZnJvbSBcIi4uLy4uLy4uL3V0aWxpdGllcy9ub2RlXCI7XG5cbmV4cG9ydCBjb25zdCBicmFja2V0ZWRDb21iaW5hdG9yU3RhdGVtZW50U3RyaW5nID0gYCgke1NUQVRFTUVOVF9NRVRBX1RZUEVfTkFNRX0pYDtcblxuY29uc3QgYnJhY2tldGVkQ29tYmluYXRvclN0YXRlbWVudE5vZGUgPSBzdGF0ZW1lbnROb2RlRnJvbVN0YXRlbWVudFN0cmluZyhicmFja2V0ZWRDb21iaW5hdG9yU3RhdGVtZW50U3RyaW5nKVxuXG5leHBvcnQgZGVmYXVsdCBicmFja2V0ZWRDb21iaW5hdG9yU3RhdGVtZW50Tm9kZTtcbiJdLCJuYW1lcyI6WyJicmFja2V0ZWRDb21iaW5hdG9yU3RhdGVtZW50U3RyaW5nIiwiU1RBVEVNRU5UX01FVEFfVFlQRV9OQU1FIiwiYnJhY2tldGVkQ29tYmluYXRvclN0YXRlbWVudE5vZGUiLCJzdGF0ZW1lbnROb2RlRnJvbVN0YXRlbWVudFN0cmluZyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O0lBS2FBLGtDQUFrQztlQUFsQ0E7O0lBSWIsT0FBZ0Q7ZUFBaEQ7Ozs2QkFQeUM7b0JBQ1E7QUFFMUMsSUFBTUEscUNBQXFDLEFBQUMsSUFBNEIsT0FBekJDLHVDQUF3QixFQUFDO0FBRS9FLElBQU1DLG1DQUFtQ0MsSUFBQUEsc0NBQWdDLEVBQUNIO0lBRTFFLFdBQWVFIn0=

package/lib/node/term/bracketed.js

@@ -1,16 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return _default;
-    }
-});
-var _node = require("../../utilities/node");
-var bracketedTermString = "(n)";
-var bracketedTermNode = (0, _node.termNodeFromTermString)(bracketedTermString);
-var _default = bracketedTermNode;
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL3Rlcm0vYnJhY2tldGVkLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyB0ZXJtTm9kZUZyb21UZXJtU3RyaW5nIH0gZnJvbSBcIi4uLy4uL3V0aWxpdGllcy9ub2RlXCI7XG5cbmNvbnN0IGJyYWNrZXRlZFRlcm1TdHJpbmcgPSBcIihuKVwiO1xuXG5jb25zdCBicmFja2V0ZWRUZXJtTm9kZSA9IHRlcm1Ob2RlRnJvbVRlcm1TdHJpbmcoYnJhY2tldGVkVGVybVN0cmluZyk7XG5cbmV4cG9ydCBkZWZhdWx0IGJyYWNrZXRlZFRlcm1Ob2RlO1xuIl0sIm5hbWVzIjpbImJyYWNrZXRlZFRlcm1TdHJpbmciLCJicmFja2V0ZWRUZXJtTm9kZSIsInRlcm1Ob2RlRnJvbVRlcm1TdHJpbmciXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVFBOzs7ZUFBQTs7O29CQU51QztBQUV2QyxJQUFNQSxzQkFBc0I7QUFFNUIsSUFBTUMsb0JBQW9CQyxJQUFBQSw0QkFBc0IsRUFBQ0Y7SUFFakQsV0FBZUMifQ==

package/lib/node/term/constructor/bracketed.js

@@ -1,25 +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: all[name]
-    });
-}
-_export(exports, {
-    bracketedConstructorTermString: function() {
-        return bracketedConstructorTermString;
-    },
-    default: function() {
-        return _default;
-    }
-});
-var _typeNames = require("../../../typeNames");
-var _node = require("../../../utilities/node");
-var bracketedConstructorTermString = "(".concat(_typeNames.OBJECT_TYPE_NAME, ")");
-var bracketedConstructorTermNode = (0, _node.termNodeFromTermString)(bracketedConstructorTermString);
-var _default = bracketedConstructorTermNode;
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uLy4uL3NyYy9ub2RlL3Rlcm0vY29uc3RydWN0b3IvYnJhY2tldGVkLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBPQkpFQ1RfVFlQRV9OQU1FIH0gZnJvbSBcIi4uLy4uLy4uL3R5cGVOYW1lc1wiO1xuaW1wb3J0IHsgdGVybU5vZGVGcm9tVGVybVN0cmluZyB9IGZyb20gXCIuLi8uLi8uLi91dGlsaXRpZXMvbm9kZVwiO1xuXG5leHBvcnQgY29uc3QgYnJhY2tldGVkQ29uc3RydWN0b3JUZXJtU3RyaW5nID0gYCgke09CSkVDVF9UWVBFX05BTUV9KWA7XG5cbmNvbnN0IGJyYWNrZXRlZENvbnN0cnVjdG9yVGVybU5vZGUgPSB0ZXJtTm9kZUZyb21UZXJtU3RyaW5nKGJyYWNrZXRlZENvbnN0cnVjdG9yVGVybVN0cmluZylcblxuZXhwb3J0IGRlZmF1bHQgYnJhY2tldGVkQ29uc3RydWN0b3JUZXJtTm9kZTtcbiJdLCJuYW1lcyI6WyJicmFja2V0ZWRDb25zdHJ1Y3RvclRlcm1TdHJpbmciLCJPQkpFQ1RfVFlQRV9OQU1FIiwiYnJhY2tldGVkQ29uc3RydWN0b3JUZXJtTm9kZSIsInRlcm1Ob2RlRnJvbVRlcm1TdHJpbmciXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztJQUthQSw4QkFBOEI7ZUFBOUJBOztJQUliLE9BQTRDO2VBQTVDOzs7eUJBUGlDO29CQUNNO0FBRWhDLElBQU1BLGlDQUFpQyxBQUFDLElBQW9CLE9BQWpCQywyQkFBZ0IsRUFBQztBQUVuRSxJQUFNQywrQkFBK0JDLElBQUFBLDRCQUFzQixFQUFDSDtJQUU1RCxXQUFlRSJ9