@informalsystems/quint/dist/src/cli.d.ts

Core tool for the Quint specification language

#!/usr/bin/env node
/**
 * Command-line interface for quint.
 *
 * See the description at:
 * https://github.com/informalsystems/quint/blob/main/doc/quint.md
 *
 * @author Igor Konnov, Gabriela Moreira, Shon Feder, Informal Systems, 2021-2023
 * @author Igor Konnov, konnov.phd, 2024
 */
export {};