@informalsystems/quint
Version:
Core tool for the Quint specification language
65 lines • 4.34 kB
JavaScript
;
// Index file for the quint compiler.
//
// Igor Konnov, Informal Systems, 2021
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
if (k2 === undefined) k2 = k;
var desc = Object.getOwnPropertyDescriptor(m, k);
if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
desc = { enumerable: true, get: function() { return m[k]; } };
}
Object.defineProperty(o, k2, desc);
}) : (function(o, m, k, k2) {
if (k2 === undefined) k2 = k;
o[k2] = m[k];
}));
var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
Object.defineProperty(o, "default", { enumerable: true, value: v });
}) : function(o, v) {
o["default"] = v;
});
var __exportStar = (this && this.__exportStar) || function(m, exports) {
for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
};
var __importStar = (this && this.__importStar) || function (mod) {
if (mod && mod.__esModule) return mod;
var result = {};
if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
__setModuleDefault(result, mod);
return result;
};
Object.defineProperty(exports, "__esModule", { value: true });
exports.prettyQuintDeclaration = exports.prettyTypeScheme = exports.prettyQuintEx = exports.format = exports.fileSourceResolver = exports.newIdGenerator = exports.findDefinitionWithId = exports.findTypeWithId = exports.findExpressionWithId = exports.Builder = exports.builtinDocs = exports.produceDocsById = exports.typeSchemeToString = void 0;
__exportStar(require("./ir/quintTypes"), exports);
__exportStar(require("./ir/quintIr"), exports);
__exportStar(require("./ir/IRprinting"), exports);
__exportStar(require("./parsing/quintParserFrontend"), exports);
__exportStar(require("./effects/base"), exports);
__exportStar(require("./effects/printing"), exports);
__exportStar(require("./effects/builtinSignatures"), exports);
var printing_1 = require("./types/printing");
Object.defineProperty(exports, "typeSchemeToString", { enumerable: true, get: function () { return printing_1.typeSchemeToString; } });
__exportStar(require("./errorTree"), exports);
var docs_1 = require("./docs");
Object.defineProperty(exports, "produceDocsById", { enumerable: true, get: function () { return docs_1.produceDocsById; } });
var builtin_1 = require("./builtin");
Object.defineProperty(exports, "builtinDocs", { enumerable: true, get: function () { return builtin_1.builtinDocs; } });
exports.Builder = __importStar(require("../test/builders/ir"));
__exportStar(require("./ir/IRVisitor"), exports);
var IRFinder_1 = require("./ir/IRFinder");
Object.defineProperty(exports, "findExpressionWithId", { enumerable: true, get: function () { return IRFinder_1.findExpressionWithId; } });
Object.defineProperty(exports, "findTypeWithId", { enumerable: true, get: function () { return IRFinder_1.findTypeWithId; } });
Object.defineProperty(exports, "findDefinitionWithId", { enumerable: true, get: function () { return IRFinder_1.findDefinitionWithId; } });
__exportStar(require("./quintAnalyzer"), exports);
__exportStar(require("./quintError"), exports);
var idGenerator_1 = require("./idGenerator");
Object.defineProperty(exports, "newIdGenerator", { enumerable: true, get: function () { return idGenerator_1.newIdGenerator; } });
var sourceResolver_1 = require("./parsing/sourceResolver");
Object.defineProperty(exports, "fileSourceResolver", { enumerable: true, get: function () { return sourceResolver_1.fileSourceResolver; } });
var prettierimp_1 = require("./prettierimp");
Object.defineProperty(exports, "format", { enumerable: true, get: function () { return prettierimp_1.format; } });
var graphics_1 = require("./graphics");
Object.defineProperty(exports, "prettyQuintEx", { enumerable: true, get: function () { return graphics_1.prettyQuintEx; } });
Object.defineProperty(exports, "prettyTypeScheme", { enumerable: true, get: function () { return graphics_1.prettyTypeScheme; } });
Object.defineProperty(exports, "prettyQuintDeclaration", { enumerable: true, get: function () { return graphics_1.prettyQuintDeclaration; } });
//# sourceMappingURL=index.js.map