occam-verify-cli 1.0.764 → 1.0.776

package/src/element/substitution/metaLevel.js

@@ -3,11 +3,10 @@
 import Substitution from "../substitution";
 
 import { define } from "../../elements";
-import { instantiate } from "../../utilities/context";
 import { instantiateMetaLevelSubstitution } from "../../process/instantiate";
 import { metaLevelSubstitutionFromMetaLevelSubstitutionNode } from "../../utilities/element";
 import { metaLevelSubstitutionStringFromStatementAndReference } from "../../utilities/string";
-import { ephemeralContextFromJSON, ephemeralContextToEphemeralContextJSON } from "../../utilities/json";
+import { descend, simplify, serialise, unserialise, instantiate } from "../../utilities/context";
 
 export default define(class MetaLevelSubstitution extends Substitution {
   constructor(context, string, node, targetReference, replacementStatement) {
@@ -65,11 +64,8 @@ export default define(class MetaLevelSubstitution extends Substitution {
   validate(generalContext, specificContext) {
     let metaLevelSubstitution = null;
 
-    const context = this.getContext();
-
-    specificContext = context;  ///
-
-    const metaLevelSubstitutionString = this.getString();  ///
+    const context = specificContext,  ///
+          metaLevelSubstitutionString = this.getString();  ///
 
     context.trace(`Validating the '${metaLevelSubstitutionString}' meta-level substitution...`);
 
@@ -127,20 +123,21 @@ export default define(class MetaLevelSubstitution extends Substitution {
   }
 
   validateReplacementStatement(generalContext, specificContext) {
-    let replacementStatementValidates;
+    let replacementStatementValidates = false;
 
-    const context = specificContext,  ///
+    const context = this.getContext(),
           replacementStatementString = this.replacementStatement.getString(),
           metaLevelSubstitutionString = this.getString();  ///
 
     context.trace(`Validating the '${metaLevelSubstitutionString}' meta-level substitution's '${replacementStatementString}' replacement statement...`);
 
-    const stated = true,
-      replacementStatement = this.replacementStatement.validate(stated, context);
+    descend((context) => {
+      const replacementStatement = this.replacementStatement.validate(context);
 
-    if (replacementStatement !== null) {
-      replacementStatementValidates = true;
-    }
+      if (replacementStatement !== null) {
+        replacementStatementValidates = true;
+      }
+    }, context);
 
     if (replacementStatementValidates) {
       context.debug(`...validated the '${metaLevelSubstitutionString}' meta-level substitution's '${replacementStatementString}' replacement statement.`);
@@ -150,53 +147,53 @@ export default define(class MetaLevelSubstitution extends Substitution {
   }
 
   toJSON() {
-    let context;
-
-    context = this.getContext();
-
-    const ephemeralContext = context, ///
-          ephemeralContextJSON = ephemeralContextToEphemeralContextJSON(ephemeralContext),
-          contextJSON = ephemeralContextJSON; ///
-
-    context = contextJSON;  ///
+    const context = this.getContext();
 
-    const string = this.getString(),
-          json = {
-            context,
-            string
-          };
+    return serialise((context) => {
+      const string = this.getString(),
+            json = {
+              context,
+              string
+            };
 
-    return json;
+      return json;
+    }, context);
   }
 
   static name = "MetaLevelSubstitution";
 
   static fromJSON(json, context) {
-    const ephemeralContext = ephemeralContextFromJSON(json, context);
+    let metaLevelSubstitution;
 
-    context = ephemeralContext; ///
+    unserialise((json, context) => {
+      instantiate((context) => {
+        const { string } = json,
+              metaLevelSubstitutionNode = instantiateMetaLevelSubstitution(string, context),
+              node = metaLevelSubstitutionNode, ///
+              targetReference = targetReferenceFromMetaLevelSubstitutionNode(metaLevelSubstitutionNode, context),
+              replacementStatement = replacementStatementFromMetaLevelSubstitutionNode(metaLevelSubstitutionNode, context);
 
-    return instantiate((context) => {
-      const { string } = json,
-            metaLevelSubstitutionNode = instantiateMetaLevelSubstitution(string, context),
-            node = metaLevelSubstitutionNode, ///
-            targetReference = targetReferenceFromMetaLevelSubstitutionNode(metaLevelSubstitutionNode, context),
-            replacementStatement = replacementStatementFromMetaLevelSubstitutionNode(metaLevelSubstitutionNode, context),
-            metaLevelSubstitution = new MetaLevelSubstitution(context, string, node, targetReference, replacementStatement);
+        metaLevelSubstitution = new MetaLevelSubstitution(context, string, node, targetReference, replacementStatement);
+      }, context);
+    }, json, context);
 
-      return metaLevelSubstitution;
-    }, context);
+    return metaLevelSubstitution;
   }
 
   static fromStatementAndReference(statement, reference, context) {
-    return instantiate((context) => {
-      const metaLevelSubstitutionString = metaLevelSubstitutionStringFromStatementAndReference(statement, reference),
-            string = metaLevelSubstitutionString,  ///
-            metaLevelSubstitutionNode = instantiateMetaLevelSubstitution(string, context),
-            metaLevelSubstitution = metaLevelSubstitutionFromMetaLevelSubstitutionNode(metaLevelSubstitutionNode, context);
+    let metaLevelSubstitution;
+
+    simplify((context) => {
+      instantiate((context) => {
+        const metaLevelSubstitutionString = metaLevelSubstitutionStringFromStatementAndReference(statement, reference),
+              string = metaLevelSubstitutionString,  ///
+              metaLevelSubstitutionNode = instantiateMetaLevelSubstitution(string, context);
 
-      return metaLevelSubstitution;
+        metaLevelSubstitution = metaLevelSubstitutionFromMetaLevelSubstitutionNode(metaLevelSubstitutionNode, context);
+      }, context);
     }, context);
+
+    return metaLevelSubstitution;
   }
 });
 

package/src/element/substitution/reference.js

@@ -3,7 +3,7 @@
 import Substitution from "../substitution";
 
 import { define } from "../../elements";
-import { instantiate } from "../../utilities/context";
+import { simplify, instantiate } from "../../utilities/context";
 import { instantiateReferenceSubstitution } from "../../process/instantiate";
 import { referenceSubstitutionFromReferenceSubstitutionNode } from "../../utilities/element";
 import { referenceSubstitutionStringFromReferenceAndMetavariable } from "../../utilities/string";
@@ -73,11 +73,8 @@ export default define(class ReferenceSubstitution extends Substitution {
   validate(generalContext, specificContext) {
     let referenceSubstitution = null;
 
-    const context = this.getContext();
-
-    specificContext = context;  ///
-
-    const referenceSubstitutionString = this.getString();  ///
+    const context = specificContext,  ///
+          referenceSubstitutionString = this.getString();  ///
 
     context.trace(`Validating the '${referenceSubstitutionString}' reference substitution...`);
 
@@ -139,7 +136,7 @@ export default define(class ReferenceSubstitution extends Substitution {
   validateReplacementReference(generalContext, specificContext) {
     let replacementReferenceValidates = false;
 
-    const context = specificContext,  ///
+    const context = this.getContext(),
           replacementReferenceString = this.replacementReference.getString(),
           referenceSubstitutionString = this.getString();  ///
 
@@ -166,7 +163,7 @@ export default define(class ReferenceSubstitution extends Substitution {
     const { name } = json;
 
     if (this.name === name) {
-      referenceSubstitutionn = instantiate((context) => {
+      instantiate((context) => {
         const { string } = json,
               referenceSubstitutionNode = instantiateReferenceSubstitution(string, context),
               node = referenceSubstitutionNode,  ///
@@ -175,9 +172,7 @@ export default define(class ReferenceSubstitution extends Substitution {
 
         context = null;
 
-        const referenceSubstitutionn = new ReferenceSubstitution(context, string, node, targetReference, replacementReference);
-
-        return referenceSubstitutionn;
+        referenceSubstitutionn = new ReferenceSubstitution(context, string, node, targetReference, replacementReference);
       }, context);
     }
 
@@ -185,14 +180,19 @@ export default define(class ReferenceSubstitution extends Substitution {
   }
 
   static fromReferenceAndMetavariable(reference, metavariable, context) {
-    return instantiate((context) => {
-      const referenceSubstitutionString = referenceSubstitutionStringFromReferenceAndMetavariable(reference, metavariable),
-            string = referenceSubstitutionString,  ///
-            referenceSubstitutionNode = instantiateReferenceSubstitution(string, context),
-            referenceSubstitution = referenceSubstitutionFromReferenceSubstitutionNode(referenceSubstitutionNode, context);
+    let referenceSubstitution;
+
+    simplify((context) => {
+      instantiate((context) => {
+        const referenceSubstitutionString = referenceSubstitutionStringFromReferenceAndMetavariable(reference, metavariable),
+              string = referenceSubstitutionString,  ///
+              referenceSubstitutionNode = instantiateReferenceSubstitution(string, context);
 
-      return referenceSubstitution;
+        referenceSubstitution = referenceSubstitutionFromReferenceSubstitutionNode(referenceSubstitutionNode, context);
+      }, context);
     }, context);
+
+    return referenceSubstitution;
   }
 });
 

package/src/element/substitution/statement.js

@@ -4,9 +4,9 @@ import Substitution from "../substitution";
 
 import { define } from "../../elements";
 import { unifySubstitution } from "../../process/unify";
-import { join, reconcile, instantiate } from "../../utilities/context";
 import { stripBracketsFromStatement } from "../../utilities/brackets";
 import { instantiateStatementSubstitution } from "../../process/instantiate";
+import { join, simplify, descend, reconcile, instantiate } from "../../utilities/context";
 import { statementSubstitutionFromStatementSubstitutionNode } from "../../utilities/element";
 import { statementSubstitutionStringFromStatementAndMetavariable, statementSubstitutionStringFromStatementMetavariableAndSubstitution } from "../../utilities/string";
 
@@ -108,11 +108,8 @@ export default define(class StatementSubstitution extends Substitution {
   validate(generalContext, specificContext) {
     let statementSubstitution = null;
 
-    const context = this.getContext();
-
-    specificContext = context;  ///
-
-    const statementSubstitutionString = this.getString();  ///
+    const context = specificContext,  ///
+          statementSubstitutionString = this.getString();  ///
 
     context.trace(`Validating the '${statementSubstitutionString}' statement substitution...`);
 
@@ -161,12 +158,13 @@ export default define(class StatementSubstitution extends Substitution {
     const targetStatementSingular = this.targetStatement.isSingular();
 
     if (targetStatementSingular) {
-      const stated = true,
-            targetStatement = this.targetStatement.validate(stated, context);
+      descend((context) => {
+        const targetStatement = this.targetStatement.validate(context);
 
-      if (targetStatement !== null) {
-        targetStatementValidates = true;
-      }
+        if (targetStatement !== null) {
+          targetStatementValidates = true;
+        }
+      }, context);
     } else {
       context.debug(`The '${statementSubstitutionString}' statement substitution's '${targetStatementString}' target statement is not singular.`);
     }
@@ -179,20 +177,21 @@ export default define(class StatementSubstitution extends Substitution {
   }
 
   validateReplacementStatement(generalContext, specificContext) {
-    let replacementStatementValidates;
+    let replacementStatementValidates = false;
 
-    const context = specificContext,  ///
+    const context = this.getContext(),
           replacementStatementString = this.replacementStatement.getString(),
           statementSubstitutionString = this.getString();  ///
 
     context.trace(`Validating the '${statementSubstitutionString}' statement substitution's '${replacementStatementString}' replacement statement...`);
 
-    const stated = true,
-          replacementStatement = this.replacementStatement.validate(stated, context);
+    descend((context) => {
+      const replacementStatement = this.replacementStatement.validate(context);
 
-    if (replacementStatement !== null) {
-      replacementStatementValidates = true;
-    }
+      if (replacementStatement !== null) {
+        replacementStatementValidates = true;
+      }
+    }, context);
 
     if (replacementStatementValidates) {
       context.debug(`...validated the '${statementSubstitutionString}' statement substitution's '${replacementStatementString}' replacement statement.`);
@@ -227,7 +226,7 @@ export default define(class StatementSubstitution extends Substitution {
     return substitutionUnifies;
   }
 
-  uniffyComplexSubstitution(complexSubstitution, generalContext, specificContext) {
+  unifyComplexSubstitution(complexSubstitution, generalContext, specificContext) {
     let substitution = null;
 
     const context = specificContext, ///
@@ -287,19 +286,15 @@ export default define(class StatementSubstitution extends Substitution {
   unifyWithSimpleSubstitution(simpleSubstitution, generalContext, specificContext) {
     let substitution;
 
-    const complexSubstitution = this; ///
-
-    let context;
-
-    context = this.getContext();
-
-    specificContext = context;  ///
+    const complexSubstitution = this, ///
+          simpleSubstitutionContext = simpleSubstitution.getContext(),
+          complexSubstitutionContext = complexSubstitution.getContext();
 
-    context = simpleSubstitution.getContext();
+    generalContext = simpleSubstitutionContext; ///
 
-    generalContext = context; ///
+    specificContext = complexSubstitutionContext;  ///
 
-    substitution = simpleSubstitution.uniffyComplexSubstitution(complexSubstitution, generalContext, specificContext);
+    substitution = simpleSubstitution.unifyComplexSubstitution(complexSubstitution, generalContext, specificContext);
 
     return substitution;
   }
@@ -320,20 +315,19 @@ export default define(class StatementSubstitution extends Substitution {
 
       if (substitution !== null) {
         const complexSubstitution = this, ///
-              simpleSubstitutionComplex = simpleSubstitution.getContext(),
+              simpleSubstitutionContext = simpleSubstitution.getContext(),
               complexSubstitutionContext = complexSubstitution.getContext();
 
         join((context) => {
-          const specificContext = context;  ///
-
-          context = this.substitution.getContext();
-
-          const generalContext = context; ///
-
-          this.unifySubstitution(substitution, generalContext, specificContext);
-        }, complexSubstitutionContext, simpleSubstitutionComplex, context);
-
-        resolved = true;
+          const substitutionContext = this.substitution.getContext(),
+                generalContext = substitutionContext, ///
+                specificContext = context,  ///
+                substitutionUnifies = this.unifySubstitution(substitution, generalContext, specificContext);
+
+          if (substitutionUnifies) {
+            resolved = true;
+          }
+        }, complexSubstitutionContext, simpleSubstitutionContext, context);
       }
     }
 
@@ -352,7 +346,7 @@ export default define(class StatementSubstitution extends Substitution {
     const { name } = json;
 
     if (this.name === name) {
-      statementSubstitutionn = instantiate((context) => {
+      instantiate((context) => {
         const { string } = json,
               statementSubstitutionNode = instantiateStatementSubstitution(string, context),
               node = statementSubstitutionNode,  ///
@@ -361,9 +355,7 @@ export default define(class StatementSubstitution extends Substitution {
 
         context = null;
 
-        const statementSubstitutionn = new StatementSubstitution(context, string, node, targetStatement, replacementStatement);
-
-        return statementSubstitutionn;
+        statementSubstitutionn = new StatementSubstitution(context, string, node, targetStatement, replacementStatement);
       }, context);
     }
 
@@ -373,27 +365,37 @@ export default define(class StatementSubstitution extends Substitution {
   static fromStatementAndMetavariable(statement, metavariable, context) {
     statement = stripBracketsFromStatement(statement, context); ///
 
-    return instantiate((context) => {
-      const statementSubstitutionString = statementSubstitutionStringFromStatementAndMetavariable(statement, metavariable, context),
-            string = statementSubstitutionString, ///
-            statementSubstitutionNode = instantiateStatementSubstitution(string, context),
-            statementSubstitution = statementSubstitutionFromStatementSubstitutionNode(statementSubstitutionNode, context);
+    let statementSubstitution;
+
+    simplify((context) => {
+      instantiate((context) => {
+        const statementSubstitutionString = statementSubstitutionStringFromStatementAndMetavariable(statement, metavariable, context),
+              string = statementSubstitutionString, ///
+              statementSubstitutionNode = instantiateStatementSubstitution(string, context);
 
-      return statementSubstitution;
+        statementSubstitution = statementSubstitutionFromStatementSubstitutionNode(statementSubstitutionNode, context);
+      }, context);
     }, context);
+
+    return statementSubstitution;
   }
 
   static fromStatementMetavariableAndSubstitution(statement, metavariable, substitution, context) {
     statement = stripBracketsFromStatement(statement, context); ///
 
-    return instantiate((context) => {
-      const statementSubstitutionString = statementSubstitutionStringFromStatementMetavariableAndSubstitution(statement, metavariable, substitution),
-            string = statementSubstitutionString, ///
-            statementSubstitutionNode = instantiateStatementSubstitution(string, context),
-            statementSubstitution = statementSubstitutionFromStatementSubstitutionNode(statementSubstitutionNode, context);
+    let statementSubstitution;
+
+    simplify((context) => {
+      instantiate((context) => {
+        const statementSubstitutionString = statementSubstitutionStringFromStatementMetavariableAndSubstitution(statement, metavariable, substitution),
+              string = statementSubstitutionString, ///
+              statementSubstitutionNode = instantiateStatementSubstitution(string, context);
 
-      return statementSubstitution;
+        statementSubstitution = statementSubstitutionFromStatementSubstitutionNode(statementSubstitutionNode, context);
+      }, context);
     }, context);
+
+    return statementSubstitution;
   }
 });
 

package/src/element/substitution/term.js

@@ -3,7 +3,7 @@
 import Substitution from "../substitution";
 
 import { define } from "../../elements";
-import { instantiate } from "../../utilities/context";
+import { simplify, instantiate } from "../../utilities/context";
 import { stripBracketsFromTerm } from "../../utilities/brackets";
 import { instantiateTermSubstitution } from "../../process/instantiate";
 import { termSubstitutionStringFromTermAndVariable } from "../../utilities/string";
@@ -76,11 +76,8 @@ export default define(class TermSubstitution extends Substitution {
   validate(generalContext, specificContext) {
     let termSubstitution = null;
 
-    const context = this.getContext();
-
-    specificContext = context;  ///
-
-    const termSubstitutionString = this.getString();  ///
+    const context = specificContext,  ///
+          termSubstitutionString = this.getString();  ///
 
     context.trace(`Validating the '${termSubstitutionString}' term substitution...`);
 
@@ -154,7 +151,7 @@ export default define(class TermSubstitution extends Substitution {
   validateReplacementTerm(generalContext, specificContext) {
     let replacementTermValidates = false;
 
-    const context = specificContext,  ///
+    const context = this.getContext(),
           replacementTermString = this.replacementTerm.getString(),
           termSubstitutionString = this.getString();  ///
 
@@ -187,7 +184,7 @@ export default define(class TermSubstitution extends Substitution {
     const { name } = json;
 
     if (this.name === name) {
-      termSubstitutionn = instantiate((context) => {
+      instantiate((context) => {
         const { string } = json,
               termSubstitutionNode = instantiateTermSubstitution(string, context),
               node = termSubstitutionNode,  ///
@@ -196,9 +193,7 @@ export default define(class TermSubstitution extends Substitution {
 
         context = null;
 
-        const termSubstitutionn = new TermSubstitution(context, string, node, targetTerm, replacementTerm);
-
-        return termSubstitutionn;
+        termSubstitutionn = new TermSubstitution(context, string, node, targetTerm, replacementTerm);
       }, context);
     }
 
@@ -215,14 +210,19 @@ export default define(class TermSubstitution extends Substitution {
   static fromTermAndVariable(term, variable, context) {
     term = stripBracketsFromTerm(term, context); ///
 
-    return instantiate((context) => {
-      const termSubstitutionString = termSubstitutionStringFromTermAndVariable(term, variable),
-            string = termSubstitutionString,  ///
-            termSubstitutionNode = instantiateTermSubstitution(string, context),
-            termSubstitution = termSubstitutionFromTermSubstitutionNode(termSubstitutionNode, context);
+    let termSubstitution;
+
+    simplify((context) => {
+      instantiate((context) => {
+        const termSubstitutionString = termSubstitutionStringFromTermAndVariable(term, variable),
+              string = termSubstitutionString,  ///
+              termSubstitutionNode = instantiateTermSubstitution(string, context);
 
-      return termSubstitution;
+        termSubstitution = termSubstitutionFromTermSubstitutionNode(termSubstitutionNode, context);
+      }, context);
     }, context);
+
+    return termSubstitution;
   }
 });
 

package/src/element/term.js

@@ -41,40 +41,6 @@ export default define(class Term extends Element {
     return variableIdentifier;
   }
 
-  matchTermNode(termNode) {
-    const node = termNode, ///
-          nodeMatches = this.matchNode(node),
-          termNodeMatches = nodeMatches; ///
-
-    return termNodeMatches;
-  }
-
-  compareVariableIdentifier(variableIdentifier) {
-    let comparesToVariableIdentifier = false;
-
-    const singular = this.isSingular();
-
-    if (singular) {
-      const variableIdentifierA = variableIdentifier; ///
-
-      variableIdentifier = this.getVariableIdentifier();
-
-      const variableIdentifierB = variableIdentifier;
-
-      comparesToVariableIdentifier = (variableIdentifierA === variableIdentifierB);
-    }
-
-    return comparesToVariableIdentifier;
-  }
-
-  findValidTerm(context) {
-    const termNode = this.getTermNode(),
-          term = context.findTermByTermNode(termNode),
-          validTerm = term; ///
-
-    return validTerm;
-  }
-
   isEqualTo(term) {
     const termNode = term.getNode(),
           termNodeMatches = this.matchTermNode(termNode),
@@ -127,6 +93,22 @@ export default define(class Term extends Element {
     return implicitlyGrounded;
   }
 
+  matchTermNode(termNode) {
+    const node = termNode, ///
+          nodeMatches = this.matchNode(node),
+          termNodeMatches = nodeMatches; ///
+
+    return termNodeMatches;
+  }
+
+  compareTerm(term) {
+    const termNode = term.getNode(),
+          termNodeMatches = this.matchNode(termNode),
+          comparesTo = termNodeMatches; ///
+
+    return comparesTo;
+  }
+
   compareParameter(parameter) {
     let comparesToParamter = false;
 
@@ -147,6 +129,32 @@ export default define(class Term extends Element {
     return comparesToParamter;
   }
 
+  compareVariableIdentifier(variableIdentifier) {
+    let comparesToVariableIdentifier = false;
+
+    const singular = this.isSingular();
+
+    if (singular) {
+      const variableIdentifierA = variableIdentifier; ///
+
+      variableIdentifier = this.getVariableIdentifier();
+
+      const variableIdentifierB = variableIdentifier;
+
+      comparesToVariableIdentifier = (variableIdentifierA === variableIdentifierB);
+    }
+
+    return comparesToVariableIdentifier;
+  }
+
+  findValidTerm(context) {
+    const termNode = this.getTermNode(),
+          term = context.findTermByTermNode(termNode),
+          validTerm = term; ///
+
+    return validTerm;
+  }
+
   validate(context, validateForwards) {
     let term = null;
 

package/src/element/topLevelMetaAssertion.js

@@ -42,7 +42,7 @@ export default class TopLevelMetaAssertion extends Element {
     return this.proof;
   }
 
-  getSubstitutions() {
+  getMetaLevelSubstitutions() {
     return this.metaLevelSubstitutions;
   }
 

package/src/element/variable.js

@@ -7,8 +7,8 @@ import elements from "../elements";
 import { define } from "../elements";
 import { instantiate } from "../utilities/context";
 import { instantiateVariable } from "../process/instantiate";
-import {identifierFromVarialbeNode, variableFromVariableNode} from "../utilities/element";
 import { typeFromJSON, typeToTypeJSON } from "../utilities/json";
+import { variableFromTermNode, identifierFromVarialbeNode } from "../utilities/element";
 
 export default define(class Variable extends Element {
   constructor(context, string, node, type, identifier) {
@@ -198,4 +198,11 @@ export default define(class Variable extends Element {
       return variable;
     }, context);
   }
+
+  static fromTerm(term, context) {
+    const termNode = term.getNode(),
+          variable = variableFromTermNode(termNode, context);
+
+    return variable;
+  }
 });

package/src/process/assign.js

@@ -23,7 +23,9 @@ export function judgementAssignmentFromJudgement(judgement, context) {
 }
 
 export function leftVariableAssignmentFromEquality(equality, context) {
-  let leftVariableAssignment = null;
+  let leftVariableAssignment = (contxt) => {
+    ///
+  };
 
   const leftTermNode = equality.getLeftTermNode(),
         singularVariableNode = leftTermNode.getSingularVariableNode();
@@ -39,7 +41,9 @@ export function leftVariableAssignmentFromEquality(equality, context) {
 }
 
 export function rightVariableAssignmentFromEquality(equality, context) {
-  let rightVariableAssignment = null;
+  let rightVariableAssignment = (context) => {
+    ///
+  };
 
   const rightTermNode = equality.getRightTermNode(),
         singularVariableNode = rightTermNode.getSingularVariableNode();
@@ -55,7 +59,9 @@ export function rightVariableAssignmentFromEquality(equality, context) {
 }
 
 export function variableAssignmentFromTypeAssertion(typeAssertion, context) {
-  let variableAssignment = null;
+  let variableAssignment = (context) => {
+    ///
+  };
 
   const term = typeAssertion.getTerm(),
         termSingular = term.isSingular();