UNPKG

@informalsystems/quint

Version:

Core tool for the Quint specification language

github.com/informalsystems/quint

informalsystems/quint

4 lines • 184 B
1
2
3
4
"use strict"; // Generated from ./src/generated/Quint.g4 by ANTLR 4.9.0-SNAPSHOT Object.defineProperty(exports, "__esModule", { value: true }); //# sourceMappingURL=QuintVisitor.js.map