occam-verify-cli 1.0.936 → 1.0.938

package/lib/utilities/breakPoint.js

@@ -0,0 +1,38 @@
+"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 (breakPointJSON !== null) {
+        breakPointJSON = breakPoint.toJSON();
+    }
+    return breakPointJSON;
+}
+
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvYnJlYWtQb2ludC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgQnJlYWtQb2ludCB9IGZyb20gXCJvY2NhbS1sYW5ndWFnZXNcIjtcblxuZXhwb3J0IGZ1bmN0aW9uIGJyZWFrUG9pbnRGcm9tSlNPTihqc29uKSB7XG4gIGxldCBicmVha1BvaW50O1xuXG4gICh7IGJyZWFrUG9pbnQgfSA9IGpzb24pO1xuXG4gIGlmIChicmVha1BvaW50ICE9PSBudWxsKSB7XG4gICAgY29uc3QgYnJlYWtQb2ludEpTT04gPSBicmVha1BvaW50OyAgLy8vXG5cbiAgICBqc29uID0gYnJlYWtQb2ludEpTT047ICAvLy9cblxuICAgIGJyZWFrUG9pbnQgPSBCcmVha1BvaW50LmZyb21KU09OKGpzb24pOyAgLy8vXG4gIH1cblxuICByZXR1cm4gYnJlYWtQb2ludDtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGJyZWFrUG9pbnRUb0JyZWFrUG9pbnRKU09OKGJyZWFrUG9pbnQpIHtcbiAgbGV0IGJyZWFrUG9pbnRKU09OID0gbnVsbDtcblxuICBpZiAoYnJlYWtQb2ludEpTT04gIT09IG51bGwpIHtcbiAgICBicmVha1BvaW50SlNPTiA9IGJyZWFrUG9pbnQudG9KU09OKCk7XG4gIH1cblxuICByZXR1cm4gYnJlYWtQb2ludEpTT047XG59XG4iXSwibmFtZXMiOlsiYnJlYWtQb2ludEZyb21KU09OIiwiYnJlYWtQb2ludFRvQnJlYWtQb2ludEpTT04iLCJqc29uIiwiYnJlYWtQb2ludCIsImJyZWFrUG9pbnRKU09OIiwiQnJlYWtQb2ludCIsImZyb21KU09OIiwidG9KU09OIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7UUFJZ0JBO2VBQUFBOztRQWdCQUM7ZUFBQUE7OztnQ0FsQlc7QUFFcEIsU0FBU0QsbUJBQW1CRSxJQUFJO0lBQ3JDLElBQUlDO0lBRUgsQ0FBQSxFQUFFQSxVQUFVLEVBQUUsR0FBR0QsSUFBRztJQUVyQixJQUFJQyxlQUFlLE1BQU07UUFDdkIsTUFBTUMsaUJBQWlCRCxZQUFhLEdBQUc7UUFFdkNELE9BQU9FLGdCQUFpQixHQUFHO1FBRTNCRCxhQUFhRSwwQkFBVSxDQUFDQyxRQUFRLENBQUNKLE9BQVEsR0FBRztJQUM5QztJQUVBLE9BQU9DO0FBQ1Q7QUFFTyxTQUFTRiwyQkFBMkJFLFVBQVU7SUFDbkQsSUFBSUMsaUJBQWlCO0lBRXJCLElBQUlBLG1CQUFtQixNQUFNO1FBQzNCQSxpQkFBaUJELFdBQVdJLE1BQU07SUFDcEM7SUFFQSxPQUFPSDtBQUNUIn0=

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "occam-verify-cli",
   "author": "James Smith",
-  "version": "1.0.936",
+  "version": "1.0.938",
   "license": "MIT, Anti-996",
   "homepage": "https://github.com/djalbat/occam-verify-cli",
   "description": "Occam's Verifier",
@@ -12,12 +12,12 @@
   "dependencies": {
     "argumentative": "^2.0.47",
     "necessary": "^17.1.7",
-    "occam-furtle": "^3.0.202",
+    "occam-furtle": "^3.0.203",
     "occam-grammars": "^1.3.524",
-    "occam-languages": "^0.0.204",
+    "occam-languages": "^0.0.206",
     "occam-lexers": "^23.1.44",
     "occam-model": "^1.0.506",
-    "occam-nominal": "^1.0.106",
+    "occam-nominal": "^1.0.107",
     "occam-parsers": "^23.1.50",
     "occam-server": "^7.0.7"
   },

package/src/element/assertion/contained.js

@@ -4,6 +4,7 @@ import Assertion from "../assertion";
 
 import { define } from "../../elements";
 import { instantiate } from "../../utilities/context";
+import { breakPointFromJSON } from "../../utilities/breakPoint";
 import { instantiateContainedAssertion } from "../../process/instantiate";
 import { termFromTermAndSubstitutions, frameFromFrameAndSubstitutions, statementFromStatementAndSubstitutions } from "../../utilities/substitutions";
 import { termFromContainedAssertionNode,
@@ -253,9 +254,10 @@ export default define(class ContainedAssertion extends Assertion {
 
     if (this.name === name) {
       instantiate((context) => {
-        const { string, breakPoint } = json,
+        const { string } = json,
               containedAssertionNode = instantiateContainedAssertion(string, context),
               node = containedAssertionNode,  ///
+              breakPoint = breakPointFromJSON(json),
               term = termFromContainedAssertionNode(containedAssertionNode, context),
               frame = frameFromContainedAssertionNode(containedAssertionNode, context),
               negated = negatedFromContainedAssertionNode(containedAssertionNode, context),

package/src/element/assertion/defined.js

@@ -4,6 +4,7 @@ import Assertion from "../assertion";
 
 import { define } from "../../elements";
 import { instantiate } from "../../utilities/context";
+import { breakPointFromJSON } from "../../utilities/breakPoint";
 import { instantiateDefinedAssertion } from "../../process/instantiate";
 import { separateGroundedTermsAndDefinedVariables } from "../../utilities/equivalences";
 import { termFromTermAndSubstitutions, frameFromFrameAndSubstitutions } from "../../utilities/substitutions";
@@ -221,9 +222,10 @@ export default define(class DefinedAssertion extends Assertion {
 
     if (this.name === name) {
       instantiate((context) => {
-        const { string, breakPoint } = json,
+        const { string } = json,
               definedAssertionNode = instantiateDefinedAssertion(string, context),
               node = definedAssertionNode,  ///
+              breakPoint = breakPointFromJSON(json),
               term = termFromJDefinedAssertionNode(definedAssertionNode, context),
               frame = frameFromJDefinedAssertionNode(definedAssertionNode, context),
               negated = negatedFromJDefinedAssertionNode(definedAssertionNode, context);

package/src/element/assertion/property.js

@@ -4,6 +4,7 @@ import Assertion from "../assertion";
 
 import { define } from "../../elements";
 import { instantiate } from "../../utilities/context";
+import { breakPointFromJSON } from "../../utilities/breakPoint";
 import { instantiatePropertyAssertion } from "../../process/instantiate";
 import { variableAssignmentFromPrepertyAssertion } from "../../process/assign";
 import { termFromPropertyAssertionNode, propertyAssertionFromStatementNode, propertyRelationFromPropertyAssertionNode } from "../../utilities/element";
@@ -226,9 +227,10 @@ export default define(class PropertyAssertion extends Assertion {
 
     if (this.name === name) {
       instantiate((context) => {
-        const { string, breakPoint } = json,
+        const { string } = json,
               propertyAssertionNode = instantiatePropertyAssertion(string, context),
               node = propertyAssertionNode,  ///
+              breakPoint = breakPointFromJSON(json),
               term = termFromPropertyAssertionNode(propertyAssertionNode, context),
               propertyRelation = propertyRelationFromPropertyAssertionNode(propertyAssertionNode, context);
 

package/src/element/assertion/signature.js

@@ -4,6 +4,7 @@ import Assertion from "../assertion";
 
 import { define } from "../../elements";
 import { join, reconcile, instantiate } from "../../utilities/context";
+import { breakPointFromJSON } from "../../utilities/breakPoint";
 import { instantiateSignatureAssertion } from "../../process/instantiate";
 import { signatureFromSignatureAssertionNode, referenceFromSignatureAssertionNode, signatureAssertionFromStatementNode } from "../../utilities/element";
 
@@ -211,9 +212,10 @@ export default define(class SignatureAssertion extends Assertion {
 
     if (this.name === name) {
       instantiate((context) => {
-        const { string, breakPoint } = json,
+        const { string } = json,
               definedAssertionNode = instantiateSignatureAssertion(string, context),
               node = definedAssertionNode,  ///
+              breakPoint = breakPointFromJSON(json),
               signature = signatureFromSignatureAssertionNode(definedAssertionNode, context),
               reference = referenceFromSignatureAssertionNode(definedAssertionNode, context);
 

package/src/element/assertion/subproof.js

@@ -7,6 +7,7 @@ import Assertion from "../assertion";
 import { define } from "../../elements";
 import { reconcile } from "../../utilities/context";
 import { join, descend, instantiate } from "../../utilities/context";
+import { breakPointFromJSON } from "../../utilities/breakPoint";
 import { instantiateSubproofAssertion } from "../../process/instantiate";
 import { subproofAssertionFromStatementNode } from "../../utilities/element";
 
@@ -300,10 +301,11 @@ export default define(class SubproofAssertion extends Assertion {
 
     if (this.name === name) {
       instantiate((context) => {
-        const { string, breakPoint } = json,
+        const { string } = json,
               subproofAssertionNode = instantiateSubproofAssertion(string, context),
-              statements = statementsFromSubproofAssertionNode(subproofAssertionNode, context),
-              node = subproofAssertionNode; ///
+              node = subproofAssertionNode,  ///
+              breakPoint = breakPointFromJSON(json),
+              statements = statementsFromSubproofAssertionNode(subproofAssertionNode, context);
 
         context = null;
 

package/src/element/assertion/type.js

@@ -8,6 +8,7 @@ import { instantiateTypeAssertion } from "../../process/instantiate";
 import { typeFromJSON, typeToTypeJSON } from "../../utilities/json";
 import { termFromTermAndSubstitutions } from "../../utilities/substitutions";
 import { variableAssignmentFromTypeAssertion } from "../../process/assign";
+import { breakPointFromJSON, breakPointToBreakPointJSON } from "../../utilities/breakPoint";
 import { termFromTypeAssertionNode, typeAssertionFromStatementNode } from "../../utilities/element";
 
 export default define(class TypeAssertion extends Assertion {
@@ -220,9 +221,17 @@ export default define(class TypeAssertion extends Assertion {
   toJSON() {
     const typeJSON = typeToTypeJSON(this.type),
           name = this.getName(),
-          string = this.getString(),
-          breakPoint = this.getBreakPoint(),
-          type = typeJSON,
+          string = this.getString();
+
+    let breakPoint;
+
+    breakPoint = this.getBreakPoint();
+
+    const breakPointJSON = breakPointToBreakPointJSON(breakPoint);
+
+    breakPoint = breakPointJSON;  ///
+
+    const type = typeJSON,
           json = {
             name,
             string,
@@ -242,8 +251,9 @@ export default define(class TypeAssertion extends Assertion {
 
     if (this.name === name) {
       instantiate((context) => {
-        const { string, breakPoint } = json,
+        const { string } = json,
               typeAssertionNode = instantiateTypeAssertion(string, context),
+              breakPoint = breakPointFromJSON(json),
               term = termFromTypeAssertionNode(typeAssertionNode, context),
               type = typeFromJSON(json, context),
               node = typeAssertionNode; ///

package/src/element/assertion.js

@@ -2,6 +2,8 @@
 
 import { Element } from "occam-languages";
 
+import { breakPointToBreakPointJSON } from "../utilities/breakPoint";
+
 export default class Assertion extends Element {
   getName() {
     const { name } = this.constructor;
@@ -42,13 +44,21 @@ export default class Assertion extends Element {
 
   toJSON() {
     const name = this.getName(),
-          string = this.getString(),
-          breakPoint = this.getBreakPoint(),
-          json = {
-            name,
-            string,
-            breakPoint
-          };
+          string = this.getString();
+
+    let breakPoint;
+
+    breakPoint = this.getBreakPoint();
+
+    const breakPointJSON = breakPointToBreakPointJSON(breakPoint);
+
+    breakPoint = breakPointJSON;  ///
+
+    const json = {
+      name,
+      string,
+      breakPoint
+    };
 
     return json;
   }

package/src/element/assumption/metaLevel.js

@@ -6,6 +6,7 @@ import { define } from "../../elements";
 import { unifyStatement } from "../../process/unify";
 import { stripBracketsFromStatement } from "../../utilities/brackets";
 import { instantiateMetaLevelAssumption } from "../../process/instantiate";
+import { breakPointFromJSON, breakPointToBreakPointJSON } from "../../utilities/breakPoint";
 import { metaLevelAssumptionFromMetaLevelAssumptionNode } from "../../utilities/element";
 import { metaLevelAssumptionStringFromReferenceAndStatement } from "../../utilities/string";
 import { join, ablate, attempt, descend, reconcile, serialise, unserialise, instantiate } from "../../utilities/context";
@@ -285,13 +286,21 @@ export default define(class MetaLevelAssumption extends Element {
     const context = this.getContext();
 
     return serialise((context) => {
-      const string = this.getString(),
-            breakPoint = this.getBreakPoint(),
-            json = {
-              context,
-              string,
-              breakPoint
-            };
+      const string = this.getString();
+
+      let breakPoint;
+
+      breakPoint = this.getBreakPoint();
+
+      const breakPointJSON = breakPointToBreakPointJSON(breakPoint);
+
+      breakPoint = breakPointJSON;  ///
+
+      const json = {
+        context,
+        string,
+        breakPoint
+      };
 
       return json;
     }, context);
@@ -304,9 +313,10 @@ export default define(class MetaLevelAssumption extends Element {
 
     unserialise((json, context) => {
       instantiate((context) => {
-        const { string, breakPoint } = json,
+        const { string } = json,
               metaLevelAssumptionNode = instantiateMetaLevelAssumption(string, context),
               node = metaLevelAssumptionNode,  ///
+              breakPoint = breakPointFromJSON(json),
               reference = referenceFromMetaLevelAssumptionNode(metaLevelAssumptionNode, context),
               statement = statementFromMetaLevelAssumptionNode(metaLevelAssumptionNode, context);
 

package/src/element/assumption.js

@@ -3,8 +3,9 @@
 import { Element } from "occam-languages";
 
 import { define } from "../elements";
-import {instantiate, reconcile} from "../utilities/context";
 import { instantiateAssumption } from "../process/instantiate";
+import { reconcile, instantiate } from "../utilities/context";
+import { breakPointFromJSON, breakPointToBreakPointJSON } from "../utilities/breakPoint";
 
 export default define(class Assumption extends Element {
   constructor(context, string, node, breakPoint, reference, statement) {
@@ -247,21 +248,30 @@ export default define(class Assumption extends Element {
   static name = "Assumption";
 
   toJSON() {
-    const string = this.getString(),
-          breakPoint = this.getBreakPoint(),
-          json = {
-            string,
-            breakPoint
-          };
+    const string = this.getString();
+
+    let breakPoint;
+
+    breakPoint = this.getBreakPoint();
+
+    const breakPointJSON = breakPointToBreakPointJSON(breakPoint);
+
+    breakPoint = breakPointJSON;  ///
+
+    const json = {
+      string,
+      breakPoint
+    };
 
     return json;
   }
 
   static fromJSON(json, context) {
     return instantiate((context) => {
-      const { string, breakPoint } = json,
+      const { string } = json,
             assumptionNode = instantiateAssumption(string, context),
             node = assumptionNode,  ///
+            breakPoint = breakPointFromJSON(json),
             reference = referenceFromAssumptionNode(assumptionNode, context),
             statement = statementFromAssumptionNode(assumptionNode, context),
             assumption = new Assumption(context, string, node, breakPoint, reference, statement);

package/src/element/combinator.js

@@ -8,6 +8,7 @@ import { statementFromCombinatorNode } from "../utilities/element";
 import { unifyStatementWithCombinator } from "../process/unify";
 import { validateStatementAsCombinator } from "../process/validate";
 import { attempt, serialise, unserialise, instantiate } from "../utilities/context";
+import { breakPointFromJSON, breakPointToBreakPointJSON } from "../utilities/breakPoint";
 
 export default define(class Combinator extends Element {
   constructor(context, string, node, breakPoint, statement) {
@@ -105,13 +106,21 @@ export default define(class Combinator extends Element {
     const context = this.getContext();
 
     return serialise((context) => {
-      const string = this.getString(),
-            breakPoint = this.getBreakPoint(),
-            json = {
-              context,
-              string,
-              breakPoint
-            };
+      const string = this.getString();
+
+      let breakPoint;
+
+      breakPoint = this.getBreakPoint();
+
+      const breakPointJSON = breakPointToBreakPointJSON(breakPoint);
+
+      breakPoint = breakPointJSON;  ///
+
+      const json = {
+        context,
+        string,
+        breakPoint
+      };
 
       return json;
     }, context);
@@ -124,9 +133,10 @@ export default define(class Combinator extends Element {
 
     unserialise((json, context) => {
       instantiate((context) => {
-        const { string, breakPoint } = json,
+        const { string } = json,
               combinatorNode = instantiateCombinator(string, context),
               node = combinatorNode,  ///
+              breakPoint = breakPointFromJSON(json),
               statement = statementFromCombinatorNode(combinatorNode, context);
 
         combinator = new Combinator(context, string, node, breakPoint, statement);

package/src/element/conclusion.js

@@ -4,6 +4,7 @@ import { Element } from "occam-languages";
 
 import { define } from "../elements";
 import { instantiateConclusion } from "../process/instantiate";
+import { breakPointFromJSON, breakPointToBreakPointJSON } from "../utilities/breakPoint";
 import { declare, attempt, descend, serialise, unserialise, instantiate } from "../utilities/context";
 
 export default define(class Conclusion extends Element {
@@ -134,13 +135,21 @@ export default define(class Conclusion extends Element {
     const context = this.getContext();
 
     return serialise((context) => {
-      const string = this.getString(),
-            breakPoint = this.getBreakPoint(),
-            json = {
-              context,
-              string,
-              breakPoint
-            };
+      const string = this.getString();
+
+      let breakPoint;
+
+      breakPoint = this.getBreakPoint();
+
+      const breakPointJSON = breakPointToBreakPointJSON(breakPoint);
+
+      breakPoint = breakPointJSON;  ///
+
+      const json = {
+        context,
+        string,
+        breakPoint
+      };
 
       return json;
     }, context);
@@ -153,9 +162,10 @@ export default define(class Conclusion extends Element {
 
     unserialise((json, context) => {
       instantiate((context) => {
-        const { string, breakPoint } = json,
+        const { string } = json,
               conclusionNode = instantiateConclusion(string, context),
               node = conclusionNode,  ///
+              breakPoint = breakPointFromJSON(json),
               statement = statementFromConclusionNode(conclusionNode, context);
 
         conclusion = new Conclusion(context, string, node, breakPoint, statement);

package/src/element/constructor.js

@@ -3,13 +3,14 @@
 import { Element } from "occam-languages";
 
 import { define } from "../elements";
+import { typeFromJSON, typeToTypeJSON } from "../utilities/json";
 import { instantiateConstructor } from "../process/instantiate";
 import { termFromConstructorNode } from "../utilities/element";
 import { unifyTermWithConstructor } from "../process/unify";
 import { validateTermAsConstructor } from "../process/validate";
-import { typeFromJSON, typeToTypeJSON } from "../utilities/json";
 import { provisionallyStringFromProvisional } from "../utilities/string";
 import { attempt, serialise, unserialise, instantiate } from "../utilities/context";
+import { breakPointFromJSON, breakPointToBreakPointJSON } from "../utilities/breakPoint";
 
 export default define(class Constructor extends Element {
   constructor(context, string, node, breakPoint, term, type) {
@@ -154,9 +155,17 @@ export default define(class Constructor extends Element {
     return serialise((context) => {
       const includeType = false,
             typeJSON = typeToTypeJSON(this.type),
-            string = this.getString(includeType),
-            breakPoint = this.getBreakPoint(),
-            type = typeJSON,  ///
+            string = this.getString(includeType);
+
+      let breakPoint;
+
+      breakPoint = this.getBreakPoint();
+
+      const breakPointJSON = breakPointToBreakPointJSON(breakPoint);
+
+      breakPoint = breakPointJSON;  ///
+
+      const type = typeJSON,  ///
             json = {
               context,
               string,
@@ -175,9 +184,10 @@ export default define(class Constructor extends Element {
 
     unserialise((json, context) => {
       instantiate((context) => {
-        const { string, breakPoint } = json,
+        const { string } = json,
               constructorNode = instantiateConstructor(string, context),
               node = constructorNode, ///
+              breakPoint = breakPointFromJSON(json),
               term = termFromConstructorNode(constructorNode, context),
               type = typeFromJSON(json, context);
 

package/src/element/deduction.js

@@ -4,6 +4,7 @@ import { Element } from "occam-languages";
 
 import { define } from "../elements";
 import { instantiateDeduction } from "../process/instantiate";
+import { breakPointFromJSON, breakPointToBreakPointJSON } from "../utilities/breakPoint";
 import { declare, attempt, descend, serialise, unserialise, instantiate } from "../utilities/context";
 
 export default define(class Deduction extends Element {
@@ -134,13 +135,21 @@ export default define(class Deduction extends Element {
     const context = this.getContext();
 
     return serialise((context) => {
-      const string = this.getString(),
-            breakPoint = this.getBreakPoint(),
-            json = {
-              context,
-              string,
-              breakPoint
-            };
+      const string = this.getString();
+
+      let breakPoint;
+
+      breakPoint = this.getBreakPoint();
+
+      const breakPointJSON = breakPointToBreakPointJSON(breakPoint);
+
+      breakPoint = breakPointJSON;  ///
+
+      const json = {
+        context,
+        string,
+        breakPoint
+      };
 
       return json;
     }, context);
@@ -153,9 +162,10 @@ export default define(class Deduction extends Element {
 
     unserialise((json, context) => {
       instantiate((context) => {
-        const { string, breakPoint } = json,
+        const { string } = json,
               deductionNode = instantiateDeduction(string, context),
               node = deductionNode,  ///
+              breakPoint = breakPointFromJSON(json),
               statement = statementFromDeductionNode(deductionNode, context);
 
         deduction = new Deduction(context, string, node, breakPoint, statement);

package/src/element/equality.js

@@ -7,6 +7,7 @@ import { equateTerms } from "../process/equate";
 import { instantiate } from "../utilities/context";
 import { instantiateEquality } from "../process/instantiate";
 import { equalityFromStatementNode } from "../utilities/element";
+import { breakPointFromJSON, breakPointToBreakPointJSON } from "../utilities/breakPoint";
 import { equalityAssignmentFromEquality, leftVariableAssignmentFromEquality, rightVariableAssignmentFromEquality } from "../process/assign";
 
 export default define(class Equality extends Element {
@@ -264,12 +265,20 @@ export default define(class Equality extends Element {
   }
 
   toJSON() {
-    const string = this.getString(),
-          breakPoint = this.getBreakPoint(),
-          json = {
-            string,
-            breakPoint
-          };
+    const string = this.getString();
+
+    let breakPoint;
+
+    breakPoint = this.getBreakPoint();
+
+    const breakPointJSON = breakPointToBreakPointJSON(breakPoint);
+
+    breakPoint = breakPointJSON;  ///
+
+    const json = {
+      string,
+      breakPoint
+    };
 
     return json;
   }
@@ -278,9 +287,10 @@ export default define(class Equality extends Element {
 
   static fromJSON(json, context) {
     return instantiate((context) => {
-      const { string, breakPoint } = json,
+      const { string } = json,
             equalityNode = instantiateEquality(string, context),
             node = equalityNode,  ///
+            breakPoint = breakPointFromJSON(json),
             leftTerm = leftTermFromEqualityNode(equalityNode, context),
             rightTerm = rightTermFromEqualityNode(equalityNode, context);
 

package/src/element/frame.js

@@ -7,6 +7,7 @@ import { instantiate } from "../utilities/context";
 import { instantiateFrame } from "../process/instantiate";
 import { FRAME_META_TYPE_NAME } from "../metaTypeNames";
 import { metavariableFromFrameNode } from "../utilities/element";
+import { breakPointFromJSON, breakPointToBreakPointJSON } from "../utilities/breakPoint";
 
 export default define(class Frame extends Element {
   constructor(context, string, node, breakPoint, assumptions, metavariable) {
@@ -305,12 +306,20 @@ export default define(class Frame extends Element {
   }
 
   toJSON() {
-    const string = this.getString(),
-          breakPoint = this.getBreakPoint(),
-          json = {
-            string,
-            breakPoint
-          };
+    const string = this.getString();
+
+    let breakPoint;
+
+    breakPoint = this.getBreakPoint();
+
+    const breakPointJSON = breakPointToBreakPointJSON(breakPoint);
+
+    breakPoint = breakPointJSON;  ///
+
+    const json = {
+      string,
+      breakPoint
+    };
 
     return json;
   }
@@ -319,9 +328,10 @@ export default define(class Frame extends Element {
 
   static fromJSON(json, context) {
     return instantiate((context) => {
-      const { string, breakPoint } = json,
+      const { string } = json,
             frameNode = instantiateFrame(string, context),
             node = frameNode, ///
+            breakPoint = breakPointFromJSON(json),
             assumptions = assumptionsFromFrameNode(frameNode, context),
             metavariable = metavariableFromFrameNode(frameNode, context);