occam-verify-cli 1.0.886 → 1.0.889

package/lib/utilities/instance.js

@@ -24,21 +24,21 @@ const _element = require("../utilities/element");
 let bracketedCombinator = null, bracketedConstructor = null;
 function bracketedCombinatorFromNothing() {
     if (bracketedCombinator === null) {
-        bracketedCombinator = (0, _context.ground)((context)=>{
-            const bracketedCombinatorString = `(${_metaTypeNames.STATEMENT_META_TYPE_NAME})`, string = bracketedCombinatorString, combinatorNode = (0, _instantiate.instantiateCombinator)(string, context), bracketedCombinatorNode = combinatorNode, bracketedCombinator = (0, _element.combinatorFromCombinatorNode)(bracketedCombinatorNode, context);
-            return bracketedCombinator;
+        (0, _context.ground)((context)=>{
+            const bracketedCombinatorString = `(${_metaTypeNames.STATEMENT_META_TYPE_NAME})`, string = bracketedCombinatorString, combinatorNode = (0, _instantiate.instantiateCombinator)(string, context), bracketedCombinatorNode = combinatorNode; ///
+            bracketedCombinator = (0, _element.bracketedCombinatorFromBracketedCombinatorNode)(bracketedCombinatorNode, context);
         });
     }
     return bracketedCombinator;
 }
 function bracketedConstructorFromNothing() {
     if (bracketedConstructor === null) {
-        bracketedConstructor = (0, _context.ground)((context)=>{
-            const bracketedConstructorString = `(${_constants.BASE_TYPE_SYMBOL})`, string = bracketedConstructorString, constructorNode = (0, _instantiate.instantiateConstructor)(string, context), bracketedConstructorNode = constructorNode, bracketedConstructor = (0, _element.constructorFromConstructorNode)(bracketedConstructorNode, context);
-            return bracketedConstructor;
+        (0, _context.ground)((context)=>{
+            const bracketedConstructorString = `(${_constants.BASE_TYPE_SYMBOL})`, string = bracketedConstructorString, constructorNode = (0, _instantiate.instantiateConstructor)(string, context), bracketedConstructorNode = constructorNode; ///
+            bracketedConstructor = (0, _element.bracketedConstructorFromBracketedConstructorNode)(bracketedConstructorNode, context);
         });
     }
     return bracketedConstructor;
 }
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvaW5zdGFuY2UuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IGdyb3VuZCB9IGZyb20gXCIuLi91dGlsaXRpZXMvY29udGV4dFwiO1xuaW1wb3J0IHsgQkFTRV9UWVBFX1NZTUJPTCB9IGZyb20gXCIuLi9jb25zdGFudHNcIjtcbmltcG9ydCB7IFNUQVRFTUVOVF9NRVRBX1RZUEVfTkFNRSB9IGZyb20gXCIuLi9tZXRhVHlwZU5hbWVzXCI7XG5pbXBvcnQgeyBpbnN0YW50aWF0ZUNvbWJpbmF0b3IsIGluc3RhbnRpYXRlQ29uc3RydWN0b3IgfSBmcm9tIFwiLi4vcHJvY2Vzcy9pbnN0YW50aWF0ZVwiO1xuaW1wb3J0IHsgY29tYmluYXRvckZyb21Db21iaW5hdG9yTm9kZSwgY29uc3RydWN0b3JGcm9tQ29uc3RydWN0b3JOb2RlIH0gZnJvbSBcIi4uL3V0aWxpdGllcy9lbGVtZW50XCI7XG5cbmxldCBicmFja2V0ZWRDb21iaW5hdG9yID0gbnVsbCxcbiAgICBicmFja2V0ZWRDb25zdHJ1Y3RvciA9IG51bGw7XG5cbmV4cG9ydCBmdW5jdGlvbiBicmFja2V0ZWRDb21iaW5hdG9yRnJvbU5vdGhpbmcoKSB7XG4gIGlmIChicmFja2V0ZWRDb21iaW5hdG9yID09PSBudWxsKSB7XG4gICAgYnJhY2tldGVkQ29tYmluYXRvciA9IGdyb3VuZCgoY29udGV4dCkgPT4ge1xuICAgICAgY29uc3QgYnJhY2tldGVkQ29tYmluYXRvclN0cmluZyA9IGAoJHtTVEFURU1FTlRfTUVUQV9UWVBFX05BTUV9KWAsXG4gICAgICAgICAgICBzdHJpbmcgPSBicmFja2V0ZWRDb21iaW5hdG9yU3RyaW5nLCAvLy9cbiAgICAgICAgICAgIGNvbWJpbmF0b3JOb2RlID0gaW5zdGFudGlhdGVDb21iaW5hdG9yKHN0cmluZywgY29udGV4dCksXG4gICAgICAgICAgICBicmFja2V0ZWRDb21iaW5hdG9yTm9kZSA9IGNvbWJpbmF0b3JOb2RlLCAgLy8vXG4gICAgICAgICAgICBicmFja2V0ZWRDb21iaW5hdG9yID0gY29tYmluYXRvckZyb21Db21iaW5hdG9yTm9kZShicmFja2V0ZWRDb21iaW5hdG9yTm9kZSwgY29udGV4dCk7XG5cbiAgICAgIHJldHVybiBicmFja2V0ZWRDb21iaW5hdG9yO1xuICAgIH0pO1xuICB9XG5cbiAgcmV0dXJuIGJyYWNrZXRlZENvbWJpbmF0b3I7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBicmFja2V0ZWRDb25zdHJ1Y3RvckZyb21Ob3RoaW5nKCkge1xuICBpZiAoYnJhY2tldGVkQ29uc3RydWN0b3IgPT09IG51bGwpIHtcbiAgICBicmFja2V0ZWRDb25zdHJ1Y3RvciA9IGdyb3VuZCgoY29udGV4dCkgPT4ge1xuICAgICAgY29uc3QgYnJhY2tldGVkQ29uc3RydWN0b3JTdHJpbmcgPSBgKCR7QkFTRV9UWVBFX1NZTUJPTH0pYCxcbiAgICAgICAgICAgIHN0cmluZyA9IGJyYWNrZXRlZENvbnN0cnVjdG9yU3RyaW5nLCAgLy8vXG4gICAgICAgICAgICBjb25zdHJ1Y3Rvck5vZGUgPSBpbnN0YW50aWF0ZUNvbnN0cnVjdG9yKHN0cmluZywgY29udGV4dCksXG4gICAgICAgICAgICBicmFja2V0ZWRDb25zdHJ1Y3Rvck5vZGUgPSBjb25zdHJ1Y3Rvck5vZGUsIC8vL1xuICAgICAgICAgICAgYnJhY2tldGVkQ29uc3RydWN0b3IgPSBjb25zdHJ1Y3RvckZyb21Db25zdHJ1Y3Rvck5vZGUoYnJhY2tldGVkQ29uc3RydWN0b3JOb2RlLCBjb250ZXh0KTtcblxuICAgICAgcmV0dXJuIGJyYWNrZXRlZENvbnN0cnVjdG9yO1xuICAgIH0pO1xuICB9XG5cbiAgcmV0dXJuIGJyYWNrZXRlZENvbnN0cnVjdG9yO1xufVxuIl0sIm5hbWVzIjpbImJyYWNrZXRlZENvbWJpbmF0b3JGcm9tTm90aGluZyIsImJyYWNrZXRlZENvbnN0cnVjdG9yRnJvbU5vdGhpbmciLCJicmFja2V0ZWRDb21iaW5hdG9yIiwiYnJhY2tldGVkQ29uc3RydWN0b3IiLCJncm91bmQiLCJjb250ZXh0IiwiYnJhY2tldGVkQ29tYmluYXRvclN0cmluZyIsIlNUQVRFTUVOVF9NRVRBX1RZUEVfTkFNRSIsInN0cmluZyIsImNvbWJpbmF0b3JOb2RlIiwiaW5zdGFudGlhdGVDb21iaW5hdG9yIiwiYnJhY2tldGVkQ29tYmluYXRvck5vZGUiLCJjb21iaW5hdG9yRnJvbUNvbWJpbmF0b3JOb2RlIiwiYnJhY2tldGVkQ29uc3RydWN0b3JTdHJpbmciLCJCQVNFX1RZUEVfU1lNQk9MIiwiY29uc3RydWN0b3JOb2RlIiwiaW5zdGFudGlhdGVDb25zdHJ1Y3RvciIsImJyYWNrZXRlZENvbnN0cnVjdG9yTm9kZSIsImNvbnN0cnVjdG9yRnJvbUNvbnN0cnVjdG9yTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBV2dCQTtlQUFBQTs7UUFnQkFDO2VBQUFBOzs7eUJBekJPOzJCQUNVOytCQUNROzZCQUNxQjt5QkFDZTtBQUU3RSxJQUFJQyxzQkFBc0IsTUFDdEJDLHVCQUF1QjtBQUVwQixTQUFTSDtJQUNkLElBQUlFLHdCQUF3QixNQUFNO1FBQ2hDQSxzQkFBc0JFLElBQUFBLGVBQU0sRUFBQyxDQUFDQztZQUM1QixNQUFNQyw0QkFBNEIsQ0FBQyxDQUFDLEVBQUVDLHVDQUF3QixDQUFDLENBQUMsQ0FBQyxFQUMzREMsU0FBU0YsMkJBQ1RHLGlCQUFpQkMsSUFBQUEsa0NBQXFCLEVBQUNGLFFBQVFILFVBQy9DTSwwQkFBMEJGLGdCQUMxQlAsc0JBQXNCVSxJQUFBQSxxQ0FBNEIsRUFBQ0QseUJBQXlCTjtZQUVsRixPQUFPSDtRQUNUO0lBQ0Y7SUFFQSxPQUFPQTtBQUNUO0FBRU8sU0FBU0Q7SUFDZCxJQUFJRSx5QkFBeUIsTUFBTTtRQUNqQ0EsdUJBQXVCQyxJQUFBQSxlQUFNLEVBQUMsQ0FBQ0M7WUFDN0IsTUFBTVEsNkJBQTZCLENBQUMsQ0FBQyxFQUFFQywyQkFBZ0IsQ0FBQyxDQUFDLENBQUMsRUFDcEROLFNBQVNLLDRCQUNURSxrQkFBa0JDLElBQUFBLG1DQUFzQixFQUFDUixRQUFRSCxVQUNqRFksMkJBQTJCRixpQkFDM0JaLHVCQUF1QmUsSUFBQUEsdUNBQThCLEVBQUNELDBCQUEwQlo7WUFFdEYsT0FBT0Y7UUFDVDtJQUNGO0lBRUEsT0FBT0E7QUFDVCJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvaW5zdGFuY2UuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IGdyb3VuZCB9IGZyb20gXCIuLi91dGlsaXRpZXMvY29udGV4dFwiO1xuaW1wb3J0IHsgQkFTRV9UWVBFX1NZTUJPTCB9IGZyb20gXCIuLi9jb25zdGFudHNcIjtcbmltcG9ydCB7IFNUQVRFTUVOVF9NRVRBX1RZUEVfTkFNRSB9IGZyb20gXCIuLi9tZXRhVHlwZU5hbWVzXCI7XG5pbXBvcnQgeyBpbnN0YW50aWF0ZUNvbWJpbmF0b3IsIGluc3RhbnRpYXRlQ29uc3RydWN0b3IgfSBmcm9tIFwiLi4vcHJvY2Vzcy9pbnN0YW50aWF0ZVwiO1xuaW1wb3J0IHsgYnJhY2tldGVkQ29tYmluYXRvckZyb21CcmFja2V0ZWRDb21iaW5hdG9yTm9kZSwgYnJhY2tldGVkQ29uc3RydWN0b3JGcm9tQnJhY2tldGVkQ29uc3RydWN0b3JOb2RlIH0gZnJvbSBcIi4uL3V0aWxpdGllcy9lbGVtZW50XCI7XG5cbmxldCBicmFja2V0ZWRDb21iaW5hdG9yID0gbnVsbCxcbiAgICBicmFja2V0ZWRDb25zdHJ1Y3RvciA9IG51bGw7XG5cbmV4cG9ydCBmdW5jdGlvbiBicmFja2V0ZWRDb21iaW5hdG9yRnJvbU5vdGhpbmcoKSB7XG4gIGlmIChicmFja2V0ZWRDb21iaW5hdG9yID09PSBudWxsKSB7XG4gICAgZ3JvdW5kKChjb250ZXh0KSA9PiB7XG4gICAgICBjb25zdCBicmFja2V0ZWRDb21iaW5hdG9yU3RyaW5nID0gYCgke1NUQVRFTUVOVF9NRVRBX1RZUEVfTkFNRX0pYCxcbiAgICAgICAgICAgIHN0cmluZyA9IGJyYWNrZXRlZENvbWJpbmF0b3JTdHJpbmcsIC8vL1xuICAgICAgICAgICAgY29tYmluYXRvck5vZGUgPSBpbnN0YW50aWF0ZUNvbWJpbmF0b3Ioc3RyaW5nLCBjb250ZXh0KSxcbiAgICAgICAgICAgIGJyYWNrZXRlZENvbWJpbmF0b3JOb2RlID0gY29tYmluYXRvck5vZGU7ICAvLy9cblxuICAgICAgYnJhY2tldGVkQ29tYmluYXRvciA9IGJyYWNrZXRlZENvbWJpbmF0b3JGcm9tQnJhY2tldGVkQ29tYmluYXRvck5vZGUoYnJhY2tldGVkQ29tYmluYXRvck5vZGUsIGNvbnRleHQpO1xuICAgIH0pO1xuICB9XG5cbiAgcmV0dXJuIGJyYWNrZXRlZENvbWJpbmF0b3I7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBicmFja2V0ZWRDb25zdHJ1Y3RvckZyb21Ob3RoaW5nKCkge1xuICBpZiAoYnJhY2tldGVkQ29uc3RydWN0b3IgPT09IG51bGwpIHtcbiAgICBncm91bmQoKGNvbnRleHQpID0+IHtcbiAgICAgIGNvbnN0IGJyYWNrZXRlZENvbnN0cnVjdG9yU3RyaW5nID0gYCgke0JBU0VfVFlQRV9TWU1CT0x9KWAsXG4gICAgICAgICAgICBzdHJpbmcgPSBicmFja2V0ZWRDb25zdHJ1Y3RvclN0cmluZywgIC8vL1xuICAgICAgICAgICAgY29uc3RydWN0b3JOb2RlID0gaW5zdGFudGlhdGVDb25zdHJ1Y3RvcihzdHJpbmcsIGNvbnRleHQpLFxuICAgICAgICAgICAgYnJhY2tldGVkQ29uc3RydWN0b3JOb2RlID0gY29uc3RydWN0b3JOb2RlOyAvLy9cblxuICAgICAgYnJhY2tldGVkQ29uc3RydWN0b3IgPSBicmFja2V0ZWRDb25zdHJ1Y3RvckZyb21CcmFja2V0ZWRDb25zdHJ1Y3Rvck5vZGUoYnJhY2tldGVkQ29uc3RydWN0b3JOb2RlLCBjb250ZXh0KTtcbiAgICB9KTtcbiAgfVxuXG4gIHJldHVybiBicmFja2V0ZWRDb25zdHJ1Y3Rvcjtcbn1cbiJdLCJuYW1lcyI6WyJicmFja2V0ZWRDb21iaW5hdG9yRnJvbU5vdGhpbmciLCJicmFja2V0ZWRDb25zdHJ1Y3RvckZyb21Ob3RoaW5nIiwiYnJhY2tldGVkQ29tYmluYXRvciIsImJyYWNrZXRlZENvbnN0cnVjdG9yIiwiZ3JvdW5kIiwiY29udGV4dCIsImJyYWNrZXRlZENvbWJpbmF0b3JTdHJpbmciLCJTVEFURU1FTlRfTUVUQV9UWVBFX05BTUUiLCJzdHJpbmciLCJjb21iaW5hdG9yTm9kZSIsImluc3RhbnRpYXRlQ29tYmluYXRvciIsImJyYWNrZXRlZENvbWJpbmF0b3JOb2RlIiwiYnJhY2tldGVkQ29tYmluYXRvckZyb21CcmFja2V0ZWRDb21iaW5hdG9yTm9kZSIsImJyYWNrZXRlZENvbnN0cnVjdG9yU3RyaW5nIiwiQkFTRV9UWVBFX1NZTUJPTCIsImNvbnN0cnVjdG9yTm9kZSIsImluc3RhbnRpYXRlQ29uc3RydWN0b3IiLCJicmFja2V0ZWRDb25zdHJ1Y3Rvck5vZGUiLCJicmFja2V0ZWRDb25zdHJ1Y3RvckZyb21CcmFja2V0ZWRDb25zdHJ1Y3Rvck5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQVdnQkE7ZUFBQUE7O1FBZUFDO2VBQUFBOzs7eUJBeEJPOzJCQUNVOytCQUNROzZCQUNxQjt5QkFDbUQ7QUFFakgsSUFBSUMsc0JBQXNCLE1BQ3RCQyx1QkFBdUI7QUFFcEIsU0FBU0g7SUFDZCxJQUFJRSx3QkFBd0IsTUFBTTtRQUNoQ0UsSUFBQUEsZUFBTSxFQUFDLENBQUNDO1lBQ04sTUFBTUMsNEJBQTRCLENBQUMsQ0FBQyxFQUFFQyx1Q0FBd0IsQ0FBQyxDQUFDLENBQUMsRUFDM0RDLFNBQVNGLDJCQUNURyxpQkFBaUJDLElBQUFBLGtDQUFxQixFQUFDRixRQUFRSCxVQUMvQ00sMEJBQTBCRixnQkFBaUIsR0FBRztZQUVwRFAsc0JBQXNCVSxJQUFBQSx1REFBOEMsRUFBQ0QseUJBQXlCTjtRQUNoRztJQUNGO0lBRUEsT0FBT0g7QUFDVDtBQUVPLFNBQVNEO0lBQ2QsSUFBSUUseUJBQXlCLE1BQU07UUFDakNDLElBQUFBLGVBQU0sRUFBQyxDQUFDQztZQUNOLE1BQU1RLDZCQUE2QixDQUFDLENBQUMsRUFBRUMsMkJBQWdCLENBQUMsQ0FBQyxDQUFDLEVBQ3BETixTQUFTSyw0QkFDVEUsa0JBQWtCQyxJQUFBQSxtQ0FBc0IsRUFBQ1IsUUFBUUgsVUFDakRZLDJCQUEyQkYsaUJBQWlCLEdBQUc7WUFFckRaLHVCQUF1QmUsSUFBQUEseURBQWdELEVBQUNELDBCQUEwQlo7UUFDcEc7SUFDRjtJQUVBLE9BQU9GO0FBQ1QifQ==

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "occam-verify-cli",
   "author": "James Smith",
-  "version": "1.0.886",
+  "version": "1.0.889",
   "license": "MIT, Anti-996",
   "homepage": "https://github.com/djalbat/occam-verify-cli",
   "description": "Occam's Verifier",

package/src/action/verify.js

@@ -26,7 +26,7 @@ export default async function verifyAction(name, log) {
           releaseContextFromDependency
         }
 
-  try {
+  // try {
     const releaseContextCreated = await createReleaseContexts(dependency, context);
 
     if (!releaseContextCreated) {
@@ -64,8 +64,8 @@ export default async function verifyAction(name, log) {
     const releaseContxt = ReleaseContext.fromLogNameJSONEntriesCallbackAndCustomGrammar(log, name, json, entries, callback, customGrammar);
 
     releaseContxt.initialise(releaseContexts, FileContextFromFilePath);
-  }
-  catch (error) {
-    log.error(error);
-  }
+  // }
+  // catch (error) {
+  //   log.error(error);
+  // }
 }

package/src/constants.js

@@ -6,12 +6,10 @@ export const { TRACE_LEVEL, DEBUG_LEVEL, INFO_LEVEL, WARNING_LEVEL, ERROR_LEVEL
 
 export const S = "s";
 export const MISSING = "missing";
-export const FUNCTION = "function";
 export const UNDEFINED = "undefined";
 export const PROVISIONAL = "Provisional";
 export const EMPTY_STRING = "";
 export const SINGLE_SPACE = " ";
-export const BREAK_MESSAGE = ":: BREAK ::";
 export const PROVISIONALLY = "provisionally";
 export const BASE_TYPE_SYMBOL = "<>";
 export const OCCAM_VERIFY_CLI = "Occam Verify-CLI";

package/src/context/file/nominal.js

@@ -342,7 +342,7 @@ export default class NominalFileContext extends FileContext {
     this.conjectures.push(conjecture);
 
     const filePath = this.getFilePath(),
-          ocnjectureString = ocnjecture.getString();
+          ocnjectureString = conjecture.getString();
 
     this.trace(`Added the '${ocnjectureString}' ocnjecture to the '${filePath}' file context.`)
   }

package/src/context/nominal.js

@@ -6,6 +6,7 @@ import { lexersUtilities, parsersUtilities } from "occam-nominal";
 import NominalLexer from "../nominal/lexer";
 import NominalParser from "../nominal/parser";
 
+import { baseTypeFromNothing } from "../utilities/type";
 import { findMetaTypeByMetaTypeName } from "../metaTypes";
 
 const { nominalLexerFromNothing } = lexersUtilities,
@@ -14,6 +15,8 @@ const { nominalLexerFromNothing } = lexersUtilities,
 const nominalLexer = nominalLexerFromNothing(NominalLexer),
       nominalParser = nominalParserFromNothing(NominalParser); ///
 
+let baseType = null;
+
 export default class NominalContext extends Context {
   constructor(context, lexer, parser) {
     super(context);
@@ -30,6 +33,22 @@ export default class NominalContext extends Context {
     return this.parser;
   }
 
+  findTypeByNominalTypeName(nominalTypeName) {
+    let type = null;
+
+    if (baseType === null) {
+      baseType = baseTypeFromNothing();
+    }
+
+    const comparesToNominalTypeName = baseType.compareNominalTypeName(nominalTypeName);
+
+    if (comparesToNominalTypeName) {
+      type = baseType;  ///
+    }
+
+    return type;
+  }
+
   findMetaTypeByMetaTypeName(metaTypeName) { return findMetaTypeByMetaTypeName(metaTypeName); }
 
   static fromNothing() {

package/src/element/type.js

@@ -250,23 +250,6 @@ export default define(class Type extends Element {
     return comparesToProvisional;
   }
 
-  comparePrefixedTypeName(prefixedTypeName) {
-    let comparesToPrefixedTypeName = false;
-
-    const prefixed = this.isPrefixed();
-
-    if (prefixed) {
-      const prefixedName = this.getPrefixedName(),
-            prefixedTypeNamePrefixedName = (prefixedTypeName === prefixedName);
-
-      if (prefixedTypeNamePrefixedName) {
-        comparesToPrefixedTypeName = true;
-      }
-    }
-
-    return comparesToPrefixedTypeName;
-  }
-
   compareNominalTypeName(nominalTypeName) {
     let comparesToNominalTypeName = false;
 
@@ -295,6 +278,23 @@ export default define(class Type extends Element {
     return comparesToNominalTypeName;
   }
 
+  comparePrefixedTypeName(prefixedTypeName) {
+    let comparesToPrefixedTypeName = false;
+
+    const prefixed = this.isPrefixed();
+
+    if (prefixed) {
+      const prefixedName = this.getPrefixedName(),
+            prefixedTypeNamePrefixedName = (prefixedTypeName === prefixedName);
+
+      if (prefixedTypeNamePrefixedName) {
+        comparesToPrefixedTypeName = true;
+      }
+    }
+
+    return comparesToPrefixedTypeName;
+  }
+
   toJSON(abridged = false) {
     const string = this.getString(),
           lineIndex = this.getLineIndex(),

package/src/utilities/element.js

@@ -816,6 +816,29 @@ export function metaLevelAssumptionFromMetaLevelAssumptionNode(metaLevelAssumpti
   return metaLevelAssumption;
 }
 
+export function bracketedCombinatorFromBracketedCombinatorNode(bracketedCombinatorNode, context) {
+  const { BracketedCombinator } = elements,
+        node = bracketedCombinatorNode, ///
+        string = context.nodeAsString(node),
+        lineIndex = null,
+        statement = statementFromBracketedCombinatorNode(bracketedCombinatorNode, context),
+        bracketedCombinator = new BracketedCombinator(context, string, node, lineIndex, statement);
+
+  return bracketedCombinator;
+}
+
+export function bracketedConstructorFromBracketedConstructorNode(bracketedConstructorNode, context) {
+  const { BracketedConstructor } = elements,
+        node = bracketedConstructorNode, ///
+        string = context.nodeAsString(node),
+        lineIndex = null,
+        term = termFromBracketedConstructorNode(bracketedConstructorNode, context),
+        type = typeFromBracketedConstructorNode(bracketedConstructorNode, context),
+        bracketedConstructor = new BracketedConstructor(context, string, node, lineIndex, term, type);
+
+  return bracketedConstructor;
+}
+
 export function typePrefixDeclarationFromTypePrefixDeclarationNode(typePrefixDeclarationNode, context) {
   const { TypePrefixDeclaration } = elements,
         node = typePrefixDeclarationNode, ///
@@ -1632,6 +1655,20 @@ export function propertyFromPropertyRelationNode(propertyRelationNode, context)
   return property;
 }
 
+export function termFromBracketedConstructorNode(bracketedCcnstructorNode, context) {
+  const termNode = bracketedCcnstructorNode.getTermNode(),
+        term = termFromTermNode(termNode, context);
+
+  return term;
+}
+
+export function typeFromBracketedConstructorNode(bracketedCcnstructorNode, context) {
+  const baseType = baseTypeFromNothing(),
+        type = baseType;  ///
+
+  return type;
+}
+
 export function definedAssertionFromStatementNode(statementNode, context) {
   let definedAssertion = null;
 
@@ -1795,6 +1832,13 @@ export function hypothesesFromTopLevelAssertionNode(topLevelAsssertionNode, cont
   return ypotheses;
 }
 
+export function statementFromBracketedCombinatorNode(bracketedCombinatorNode, context) {
+  const statementNode = bracketedCombinatorNode.getStatementNode(),
+        statement = statementFromStatementNode(statementNode, context);
+
+  return statement;
+}
+
 export function signatureFromJSatisfiesAssertionNode(sasisfiesAssertionNode, context) {
   const signatureNode = sasisfiesAssertionNode.getSignatureNode(),
         signature = signatureFromJSignatureNode(signatureNode, context);

package/src/utilities/instance.js

@@ -4,21 +4,20 @@ import { ground } from "../utilities/context";
 import { BASE_TYPE_SYMBOL } from "../constants";
 import { STATEMENT_META_TYPE_NAME } from "../metaTypeNames";
 import { instantiateCombinator, instantiateConstructor } from "../process/instantiate";
-import { combinatorFromCombinatorNode, constructorFromConstructorNode } from "../utilities/element";
+import { bracketedCombinatorFromBracketedCombinatorNode, bracketedConstructorFromBracketedConstructorNode } from "../utilities/element";
 
 let bracketedCombinator = null,
     bracketedConstructor = null;
 
 export function bracketedCombinatorFromNothing() {
   if (bracketedCombinator === null) {
-    bracketedCombinator = ground((context) => {
+    ground((context) => {
       const bracketedCombinatorString = `(${STATEMENT_META_TYPE_NAME})`,
             string = bracketedCombinatorString, ///
             combinatorNode = instantiateCombinator(string, context),
-            bracketedCombinatorNode = combinatorNode,  ///
-            bracketedCombinator = combinatorFromCombinatorNode(bracketedCombinatorNode, context);
+            bracketedCombinatorNode = combinatorNode;  ///
 
-      return bracketedCombinator;
+      bracketedCombinator = bracketedCombinatorFromBracketedCombinatorNode(bracketedCombinatorNode, context);
     });
   }
 
@@ -27,14 +26,13 @@ export function bracketedCombinatorFromNothing() {
 
 export function bracketedConstructorFromNothing() {
   if (bracketedConstructor === null) {
-    bracketedConstructor = ground((context) => {
+    ground((context) => {
       const bracketedConstructorString = `(${BASE_TYPE_SYMBOL})`,
             string = bracketedConstructorString,  ///
             constructorNode = instantiateConstructor(string, context),
-            bracketedConstructorNode = constructorNode, ///
-            bracketedConstructor = constructorFromConstructorNode(bracketedConstructorNode, context);
+            bracketedConstructorNode = constructorNode; ///
 
-      return bracketedConstructor;
+      bracketedConstructor = bracketedConstructorFromBracketedConstructorNode(bracketedConstructorNode, context);
     });
   }