UNPKG

@informalsystems/quint

Version:

Core tool for the Quint specification language

github.com/informalsystems/quint

informalsystems/quint

12 files

	Filename	Content Type	Size
	../
	ToIrListener.d.ts	text/typescript	7.12 kB
	ToIrListener.js	text/javascript	55.6 kB
	ToIrListener.js.map	application/json	45.8 kB
	parseErrors.d.ts	text/typescript	508 B
	parseErrors.js	text/javascript	2.36 kB
	parseErrors.js.map	application/json	1.72 kB
	quintParserFrontend.d.ts	text/typescript	4.33 kB
	quintParserFrontend.js	text/javascript	20 kB
	quintParserFrontend.js.map	application/json	12.4 kB
	sourceResolver.d.ts	text/typescript	2.87 kB
	sourceResolver.js	text/javascript	2.16 kB
	sourceResolver.js.map	application/json	1.06 kB