occam-verify-cli 0.0.1020 → 0.0.1021

package/src/constructor.js

@@ -1,9 +1,9 @@
 "use strict";
 
 import shim from "./shim";
-import Type, {objectType} from "./type";
 
 import { nodeQuery } from "./utilities/query";
+import { objectType } from "./type";
 
 const termNodeQuery = nodeQuery("/constructorDeclaration/term"),
       typeNodeQuery = nodeQuery("/constructorDeclaration/type");
@@ -77,7 +77,8 @@ export default class Constructor {
   }
 
   static fromConstructorDeclarationNode(constructorDeclarationNode, fileContext) {
-    const termNode = termNodeQuery(constructorDeclarationNode),
+    const { Term, Type } = shim,
+          termNode = termNodeQuery(constructorDeclarationNode),
           typeNode = typeNodeQuery(constructorDeclarationNode),
           type = (typeNode === null) ?
                    objectType :

package/src/context/file.js

@@ -1,6 +1,6 @@
 "use strict";
 
-import Type from "../type";
+import shim from "../shim";
 import Rule from "../rule";
 import Axiom from "../axiom";
 import Lemma from "../lemma";
@@ -779,7 +779,8 @@ export default class FileContext {
           metavariablesJSON = metavariables;  ///
 
     typesJSON.forEach((typeJSON) => {
-      const json = typeJSON,  ///
+      const { Type } = shim,
+            json = typeJSON,  ///
             type = Type.fromJSON(json, fileContext);
 
       this.types.push(type);

package/src/declaration/metavariable.js

@@ -1,6 +1,6 @@
 "use strict";
 
-import MetaType from "../metaType";
+import shim from "../shim";
 import Metavariable from "../metavariable";
 
 import { nodeQuery } from "../utilities/query";
@@ -49,7 +49,8 @@ export default class MetavariableDeclaration {
   }
 
   static fromMetavariableDeclarationNode(metavariableDeclarationNode, fileContext) {
-    const metaTypeNode = metaTypeNodeQuery(metavariableDeclarationNode),
+    const { MetaType } = shim,
+          metaTypeNode = metaTypeNodeQuery(metavariableDeclarationNode),
           metaType = MetaType.fromMetaTypeNode(metaTypeNode, fileContext),
           metavariable = Metavariable.fromMetavariableDeclarationNode(metavariableDeclarationNode, fileContext),
           string = stringFromMetavariableAndMetaType(metavariable, metaType),

package/src/declaration/type.js

@@ -1,6 +1,6 @@
 "use strict";
 
-import Type from "../type";
+import shim from "../shim";
 
 export default class TypeDeclaration {
   constructor(fileContext, type) {
@@ -41,7 +41,8 @@ export default class TypeDeclaration {
   }
 
   static fromTypeDeclarationNode(typeDeclarationNode, fileContext) {
-    const type = Type.fromTypeDeclarationNode(typeDeclarationNode, fileContext),
+    const { Type } = shim,
+          type = Type.fromTypeDeclarationNode(typeDeclarationNode, fileContext),
           typeDeclaration = new TypeDeclaration(fileContext, type);
 
     return typeDeclaration;

package/src/declaration/variable.js

@@ -1,9 +1,10 @@
 "use strict";
 
-import Type, {objectType} from "../type";
+import shim from "../shim";
 import Variable from "../variable";
 
 import { nodeQuery } from "../utilities/query";
+import { objectType } from "../type";
 
 const typeNodeQuery = nodeQuery("/variableDeclaration/type");
 
@@ -49,7 +50,8 @@ export default class VariableDeclaration {
   }
 
   static fromVariableDeclarationNode(variableDeclarationNode, fileContext) {
-    const typeNode = typeNodeQuery(variableDeclarationNode),
+    const { Type } = shim,
+          typeNode = typeNodeQuery(variableDeclarationNode),
           type = (typeNode === null) ?
                    objectType :
                      Type.fromTypeNode(typeNode, fileContext),

package/src/derivation.js

@@ -1,6 +1,6 @@
 "use strict";
 
-import ProofStep from "./proofStep";
+import shim from "./shim";
 
 import { last } from "./utilities/array";
 import { nodesQuery } from "./utilities/query";
@@ -37,7 +37,8 @@ export default class Derivation {
   }
 
   static fromDerivationNode(derivationNode, fileContext) {
-    const proofStepNodes = proofStepNodesQuery(derivationNode),
+    const { ProofStep } = shim,
+          proofStepNodes = proofStepNodesQuery(derivationNode),
           proofSteps = proofStepNodes.map((proofStepNode) => {
             const proofStep = ProofStep.fromProofStepNode(proofStepNode, fileContext);
 

package/src/metaType.js

@@ -3,6 +3,7 @@
 import shim from "./shim";
 
 import { metaTypeNameFromMetaTypeNode } from "./utilities/name";
+import { FRAME_META_TYPE_NAME, REFERENCE_META_TYPE_NAME, STATEMENT_META_TYPE_NAME } from "./metaTypeNames";
 
 class MetaType {
   constructor(name) {
@@ -75,3 +76,34 @@ Object.assign(shim, {
 });
 
 export default MetaType;
+
+class FrameMetaType extends MetaType {
+  static fromNothing() {
+    const name = FRAME_META_TYPE_NAME,
+          frameMetaType = new FrameMetaType(name);
+
+    return frameMetaType;
+  }
+}
+
+class ReferenceMetaType extends MetaType {
+  static fromNothing() {
+    const name = REFERENCE_META_TYPE_NAME,
+          referenceMetaType = new ReferenceMetaType(name);
+
+    return referenceMetaType;
+  }
+}
+
+class StatementMetaType extends MetaType {
+  static fromNothing() {
+    const name = STATEMENT_META_TYPE_NAME,
+          statementMetaType = new StatementMetaType(name);
+
+    return statementMetaType;
+  }
+}
+
+export const frameMetaType = FrameMetaType.fromNothing();
+export const referenceMetaType = ReferenceMetaType.fromNothing();
+export const statementMetaType = StatementMetaType.fromNothing();

package/src/metaTypeNames.js

@@ -1,5 +1,5 @@
 "use strict";
 
 export const FRAME_META_TYPE_NAME = "Frame";
-export const STATEMENT_META_TYPE_NAME = "Statement";
 export const REFERENCE_META_TYPE_NAME = "Reference";
+export const STATEMENT_META_TYPE_NAME = "Statement";

package/src/metaTypes.js

@@ -1,8 +1,6 @@
 "use strict";
 
-import frameMetaType from "./metaType/frame";
-import referenceMetaType from "./metaType/reference";
-import statementMetaType from "./metaType/statement";
+import { frameMetaType, referenceMetaType, statementMetaType } from "./metaType";
 
 const metaTypes = [
   frameMetaType,

package/src/metavariable.js

@@ -1,7 +1,7 @@
 "use strict";
 
+import shim from "./shim";
 import Argument from "./argument";
-import MetaType from "./metaType";
 import LocalContext from "./context/local";
 
 import { nodeQuery } from "./utilities/query";
@@ -120,7 +120,8 @@ export default class Metavariable {
   }
 
   static fromJSON(json, fileContext) {
-    const { string } = json,
+    const { MetaType } = shim,
+          { string } = json,
           lexer  = fileContext.getLexer(),
           parser = fileContext.getParser(),
           metavariableString = string,  ///
@@ -154,7 +155,8 @@ export default class Metavariable {
   }
 
   static fromMetavariableDeclarationNode(metavariableDeclarationNode, fileContext) {
-    const metaTypeNode = metaTypeNodeQuery(metavariableDeclarationNode),
+    const { MetaType } = shim,
+          metaTypeNode = metaTypeNodeQuery(metavariableDeclarationNode),
           metavariableNode = metavariableNodeQuery(metavariableDeclarationNode),
           metavariableName = metavariableNameFromMetavariableNode(metavariableNode),
           localContext = LocalContext.fromFileContext(fileContext),

package/src/premise.js

@@ -1,6 +1,6 @@
 "use strict";
 
-import ProofStep from "./proofStep";
+import shim from "./shim";
 import LocalContext from "./context/local";
 import metaLevelUnifier from "./unifier/metaLevel";
 import SubproofAssertion from "./assertion/subproof";
@@ -121,7 +121,8 @@ export default class Premise {
         const assignmentsAssigned = assignAssignments(assignments, localContext);
 
         if (assignmentsAssigned) {
-          const proofStep = ProofStep.fromUnqualifiedStatement(this.unqualifiedStatement);
+          const { ProofStep } = shim,
+                proofStep = ProofStep.fromUnqualifiedStatement(this.unqualifiedStatement);
 
           localContext.addProofStep(proofStep);
 

package/src/statement/qualified.js

@@ -1,6 +1,6 @@
 "use strict";
 
-import Statement from "../statement";
+import shim from "../shim";
 import Reference from "../reference";
 import unifyMixins from "../mixins/statement/qualified/unify";
 import LocalContext from "../context/local";
@@ -87,7 +87,9 @@ export default class QualifiedStatement {
 
     if (qualifiedStatementNode !== null) {
       let string;
-      const statementNode = statementNodeQuery(qualifiedStatementNode),
+
+      const { Statement } = shim,
+            statementNode = statementNodeQuery(qualifiedStatementNode),
             referenceNode = referenceNodeQuery(qualifiedStatementNode),
             localContext = LocalContext.fromFileContext(fileContext),
             statement = Statement.fromStatementNode(statementNode, localContext),
@@ -98,7 +100,7 @@ export default class QualifiedStatement {
 
       string = trim(string);  ///
 
-        qualifiedStatement = new QualifiedStatement(string, statement, reference);
+      qualifiedStatement = new QualifiedStatement(string, statement, reference);
     }
 
     return qualifiedStatement;

package/src/statement/unqualified.js

@@ -1,6 +1,6 @@
 "use strict";
 
-import Statement from "../statement";
+import shim from "../shim";
 import LocalContext from "../context/local";
 
 import { nodeQuery } from "../utilities/query";
@@ -47,6 +47,8 @@ export default class UnqualifiedStatement {
   }
 
   static fromJSON(json, fileContext) {
+    const { Statement } = shim;
+
     let { statement } = json;
 
     json = statement; ///
@@ -62,7 +64,8 @@ export default class UnqualifiedStatement {
     let unqualifiedStatement = null;
 
     if (unqualifiedStatementNode !== null) {
-      const statementNode = statementNodeQuery(unqualifiedStatementNode),
+      const { Statement } = shim,
+            statementNode = statementNodeQuery(unqualifiedStatementNode),
             localContext = LocalContext.fromFileContext(fileContext),
             statement = Statement.fromStatementNode(statementNode, localContext);
 

package/src/supposition.js

@@ -1,6 +1,6 @@
 "use strict";
 
-import ProofStep from "./proofStep";
+import shim from "./shim";
 import LocalContext from "./context/local";
 import metaLevelUnifier from "./unifier/metaLevel";
 import SubproofAssertion from "./assertion/subproof";
@@ -121,7 +121,8 @@ export default class Supposition {
         const assignmentsAssigned = assignAssignments(assignments, localContext);
 
         if (assignmentsAssigned) {
-          const proofStep = ProofStep.fromUnqualifiedStatement(this.unqualifiedStatement);
+          const { ProofStep } = shim,
+                proofStep = ProofStep.fromUnqualifiedStatement(this.unqualifiedStatement);
 
           localContext.addProofStep(proofStep);
 

package/src/term.js

@@ -1,7 +1,6 @@
 "use strict";
 
 import shim from "./shim";
-import Type from "./type";
 import unifyMixins from "./mixins/term/unify";
 import verifyMixins from "./mixins/term/verify";
 import termAsConstructorVerifier from "./verifier/termAsConstructor";
@@ -224,7 +223,8 @@ class Term {
   }
 
   static fromJSON(json, fileContext) {
-    const { string } = json,
+    const { Type } = shim,
+          { string } = json,
           termString = string,  ///
           lexer = fileContext.getLexer(),
           parser = fileContext.getParser(),

package/src/variable.js

@@ -1,6 +1,6 @@
 "use strict";
 
-import Type from "./type";
+import shim from "./shim";
 import LocalContext from "./context/local";
 
 import { nodeQuery } from "./utilities/query";
@@ -129,7 +129,8 @@ export default class Variable {
   }
 
   static fromJSON(json, fileContext) {
-    const { string } = json,
+    const { Type } = shim,
+          { string } = json,
           lexer  = fileContext.getLexer(),
           parser = fileContext.getParser(),
           variableString = string,  ///
@@ -145,8 +146,8 @@ export default class Variable {
     }
 
     const variableName = variableNameFromVariableNode(variableNode),
-      name = variableName,  ///
-      variable = new Variable(string, node, name, type);
+          name = variableName,  ///
+          variable = new Variable(string, node, name, type);
 
     return variable;
   }
@@ -173,7 +174,8 @@ export default class Variable {
   }
 
   static fromVariableDeclarationNode(variableDeclarationNode, fileContext) {
-    const typeNode = typeNodeQuery(variableDeclarationNode),
+    const { Type } = shim,
+          typeNode = typeNodeQuery(variableDeclarationNode),
           variableNode = variableNodeQuery(variableDeclarationNode),
           variableName = variableNameFromVariableNode(variableNode),
           localContext = LocalContext.fromFileContext(fileContext),

package/src/verify/declaration.js

@@ -3,10 +3,10 @@
 import shim from "../shim";
 import Reference from "../reference";
 import Declaration from "../declaration"
-import referenceMetaType from "../metaType/reference";
 import verifyMetavariableGivenMetaType from "../verify/metavariableGivenMetaType";
 
 import { nodeQuery } from "../utilities/query";
+import { referenceMetaType } from "../metaType";
 
 const statementNodeQuery = nodeQuery("/declaration/statement"),
       metavariableNodeQuery = nodeQuery("/declaration/reference/metavariable"); ///

package/src/verify/frame.js

@@ -1,11 +1,10 @@
 "use strict";
 
-import shim from "../shim";
 import Frame from "../frame";
-import frameMetaType from "../metaType/frame";
 import verifyDeclaration from "../verify/declaration";
 import verifyMetavariableGivenMetaType from "./metavariableGivenMetaType";
 
+import { frameMetaType } from "../metaType";
 import { nodeQuery, nodesQuery } from "../utilities/query";
 import { metavariableNameFromMetavariableNode } from "../utilities/name";
 

package/lib/metaType/frame.js

@@ -1,111 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return _default;
-    }
-});
-var _metaType = /*#__PURE__*/ _interop_require_default(require("../metaType"));
-var _metaTypeNames = require("../metaTypeNames");
-function _assert_this_initialized(self) {
-    if (self === void 0) {
-        throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
-    }
-    return self;
-}
-function _call_super(_this, derived, args) {
-    derived = _get_prototype_of(derived);
-    return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
-}
-function _class_call_check(instance, Constructor) {
-    if (!(instance instanceof Constructor)) {
-        throw new TypeError("Cannot call a class as a function");
-    }
-}
-function _defineProperties(target, props) {
-    for(var i = 0; i < props.length; i++){
-        var descriptor = props[i];
-        descriptor.enumerable = descriptor.enumerable || false;
-        descriptor.configurable = true;
-        if ("value" in descriptor) descriptor.writable = true;
-        Object.defineProperty(target, descriptor.key, descriptor);
-    }
-}
-function _create_class(Constructor, protoProps, staticProps) {
-    if (protoProps) _defineProperties(Constructor.prototype, protoProps);
-    if (staticProps) _defineProperties(Constructor, staticProps);
-    return Constructor;
-}
-function _get_prototype_of(o) {
-    _get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
-        return o.__proto__ || Object.getPrototypeOf(o);
-    };
-    return _get_prototype_of(o);
-}
-function _inherits(subClass, superClass) {
-    if (typeof superClass !== "function" && superClass !== null) {
-        throw new TypeError("Super expression must either be null or a function");
-    }
-    subClass.prototype = Object.create(superClass && superClass.prototype, {
-        constructor: {
-            value: subClass,
-            writable: true,
-            configurable: true
-        }
-    });
-    if (superClass) _set_prototype_of(subClass, superClass);
-}
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-function _possible_constructor_return(self, call) {
-    if (call && (_type_of(call) === "object" || typeof call === "function")) {
-        return call;
-    }
-    return _assert_this_initialized(self);
-}
-function _set_prototype_of(o, p) {
-    _set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
-        o.__proto__ = p;
-        return o;
-    };
-    return _set_prototype_of(o, p);
-}
-function _type_of(obj) {
-    "@swc/helpers - typeof";
-    return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
-}
-function _is_native_reflect_construct() {
-    try {
-        var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
-    } catch (_) {}
-    return (_is_native_reflect_construct = function() {
-        return !!result;
-    })();
-}
-var FrameMetaType = /*#__PURE__*/ function(MetaType) {
-    _inherits(FrameMetaType, MetaType);
-    function FrameMetaType() {
-        _class_call_check(this, FrameMetaType);
-        return _call_super(this, FrameMetaType, arguments);
-    }
-    _create_class(FrameMetaType, null, [
-        {
-            key: "fromNothing",
-            value: function fromNothing() {
-                var name = _metaTypeNames.FRAME_META_TYPE_NAME, frameMetaType = new FrameMetaType(name);
-                return frameMetaType;
-            }
-        }
-    ]);
-    return FrameMetaType;
-}(_metaType.default);
-var frameMetaType = FrameMetaType.fromNothing();
-var _default = frameMetaType;
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9tZXRhVHlwZS9mcmFtZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE1ldGFUeXBlIGZyb20gXCIuLi9tZXRhVHlwZVwiO1xuXG5pbXBvcnQgeyBGUkFNRV9NRVRBX1RZUEVfTkFNRSB9IGZyb20gXCIuLi9tZXRhVHlwZU5hbWVzXCI7XG5cbmNsYXNzIEZyYW1lTWV0YVR5cGUgZXh0ZW5kcyBNZXRhVHlwZSB7XG4gIHN0YXRpYyBmcm9tTm90aGluZygpIHtcbiAgICBjb25zdCBuYW1lID0gRlJBTUVfTUVUQV9UWVBFX05BTUUsXG4gICAgICAgICAgZnJhbWVNZXRhVHlwZSA9IG5ldyBGcmFtZU1ldGFUeXBlKG5hbWUpO1xuXG4gICAgcmV0dXJuIGZyYW1lTWV0YVR5cGU7XG4gIH1cbn1cblxuY29uc3QgZnJhbWVNZXRhVHlwZSA9IEZyYW1lTWV0YVR5cGUuZnJvbU5vdGhpbmcoKTtcblxuZXhwb3J0IGRlZmF1bHQgZnJhbWVNZXRhVHlwZTtcbiJdLCJuYW1lcyI6WyJGcmFtZU1ldGFUeXBlIiwiZnJvbU5vdGhpbmciLCJuYW1lIiwiRlJBTUVfTUVUQV9UWVBFX05BTUUiLCJmcmFtZU1ldGFUeXBlIiwiTWV0YVR5cGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQWlCQTs7O2VBQUE7OzsrREFmcUI7NkJBRWdCOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRXJDLElBQUEsQUFBTUEsOEJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO2lDQUFBQTs7a0JBQUFBOztZQUNHQyxLQUFBQTttQkFBUCxTQUFPQTtnQkFDTCxJQUFNQyxPQUFPQyxtQ0FBb0IsRUFDM0JDLGdCQUFnQixJQUhwQkosY0FHc0NFO2dCQUV4QyxPQUFPRTtZQUNUOzs7V0FOSUo7RUFBc0JLLGlCQUFRO0FBU3BDLElBQU1ELGdCQUFnQkosY0FBY0MsV0FBVztJQUUvQyxXQUFlRyJ9

package/lib/metaType/reference.js

@@ -1,111 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return _default;
-    }
-});
-var _metaType = /*#__PURE__*/ _interop_require_default(require("../metaType"));
-var _metaTypeNames = require("../metaTypeNames");
-function _assert_this_initialized(self) {
-    if (self === void 0) {
-        throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
-    }
-    return self;
-}
-function _call_super(_this, derived, args) {
-    derived = _get_prototype_of(derived);
-    return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
-}
-function _class_call_check(instance, Constructor) {
-    if (!(instance instanceof Constructor)) {
-        throw new TypeError("Cannot call a class as a function");
-    }
-}
-function _defineProperties(target, props) {
-    for(var i = 0; i < props.length; i++){
-        var descriptor = props[i];
-        descriptor.enumerable = descriptor.enumerable || false;
-        descriptor.configurable = true;
-        if ("value" in descriptor) descriptor.writable = true;
-        Object.defineProperty(target, descriptor.key, descriptor);
-    }
-}
-function _create_class(Constructor, protoProps, staticProps) {
-    if (protoProps) _defineProperties(Constructor.prototype, protoProps);
-    if (staticProps) _defineProperties(Constructor, staticProps);
-    return Constructor;
-}
-function _get_prototype_of(o) {
-    _get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
-        return o.__proto__ || Object.getPrototypeOf(o);
-    };
-    return _get_prototype_of(o);
-}
-function _inherits(subClass, superClass) {
-    if (typeof superClass !== "function" && superClass !== null) {
-        throw new TypeError("Super expression must either be null or a function");
-    }
-    subClass.prototype = Object.create(superClass && superClass.prototype, {
-        constructor: {
-            value: subClass,
-            writable: true,
-            configurable: true
-        }
-    });
-    if (superClass) _set_prototype_of(subClass, superClass);
-}
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-function _possible_constructor_return(self, call) {
-    if (call && (_type_of(call) === "object" || typeof call === "function")) {
-        return call;
-    }
-    return _assert_this_initialized(self);
-}
-function _set_prototype_of(o, p) {
-    _set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
-        o.__proto__ = p;
-        return o;
-    };
-    return _set_prototype_of(o, p);
-}
-function _type_of(obj) {
-    "@swc/helpers - typeof";
-    return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
-}
-function _is_native_reflect_construct() {
-    try {
-        var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
-    } catch (_) {}
-    return (_is_native_reflect_construct = function() {
-        return !!result;
-    })();
-}
-var ReferenceMetaType = /*#__PURE__*/ function(MetaType) {
-    _inherits(ReferenceMetaType, MetaType);
-    function ReferenceMetaType() {
-        _class_call_check(this, ReferenceMetaType);
-        return _call_super(this, ReferenceMetaType, arguments);
-    }
-    _create_class(ReferenceMetaType, null, [
-        {
-            key: "fromNothing",
-            value: function fromNothing() {
-                var name = _metaTypeNames.REFERENCE_META_TYPE_NAME, referenceMetaType = new ReferenceMetaType(name);
-                return referenceMetaType;
-            }
-        }
-    ]);
-    return ReferenceMetaType;
-}(_metaType.default);
-var referenceMetaType = ReferenceMetaType.fromNothing();
-var _default = referenceMetaType;
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9tZXRhVHlwZS9yZWZlcmVuY2UuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBNZXRhVHlwZSBmcm9tIFwiLi4vbWV0YVR5cGVcIjtcblxuaW1wb3J0IHsgUkVGRVJFTkNFX01FVEFfVFlQRV9OQU1FIH0gZnJvbSBcIi4uL21ldGFUeXBlTmFtZXNcIjtcblxuY2xhc3MgUmVmZXJlbmNlTWV0YVR5cGUgZXh0ZW5kcyBNZXRhVHlwZSB7XG4gIHN0YXRpYyBmcm9tTm90aGluZygpIHtcbiAgICBjb25zdCBuYW1lID0gUkVGRVJFTkNFX01FVEFfVFlQRV9OQU1FLFxuICAgICAgICAgIHJlZmVyZW5jZU1ldGFUeXBlID0gbmV3IFJlZmVyZW5jZU1ldGFUeXBlKG5hbWUpO1xuXG4gICAgcmV0dXJuIHJlZmVyZW5jZU1ldGFUeXBlO1xuICB9XG59XG5cbmNvbnN0IHJlZmVyZW5jZU1ldGFUeXBlID0gUmVmZXJlbmNlTWV0YVR5cGUuZnJvbU5vdGhpbmcoKTtcblxuZXhwb3J0IGRlZmF1bHQgcmVmZXJlbmNlTWV0YVR5cGU7XG4iXSwibmFtZXMiOlsiUmVmZXJlbmNlTWV0YVR5cGUiLCJmcm9tTm90aGluZyIsIm5hbWUiLCJSRUZFUkVOQ0VfTUVUQV9UWVBFX05BTUUiLCJyZWZlcmVuY2VNZXRhVHlwZSIsIk1ldGFUeXBlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFpQkE7OztlQUFBOzs7K0RBZnFCOzZCQUVvQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUV6QyxJQUFBLEFBQU1BLGtDQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtpQ0FBQUE7O2tCQUFBQTs7WUFDR0MsS0FBQUE7bUJBQVAsU0FBT0E7Z0JBQ0wsSUFBTUMsT0FBT0MsdUNBQXdCLEVBQy9CQyxvQkFBb0IsSUFIeEJKLGtCQUc4Q0U7Z0JBRWhELE9BQU9FO1lBQ1Q7OztXQU5JSjtFQUEwQkssaUJBQVE7QUFTeEMsSUFBTUQsb0JBQW9CSixrQkFBa0JDLFdBQVc7SUFFdkQsV0FBZUcifQ==