@informalsystems/quint/dist/test/prettierimp.test.d.ts

Core tool for the Quint specification language

export {};