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	6.21 kB
	ToIrListener.js	text/javascript	48.4 kB
	ToIrListener.js.map	application/json	40.3 kB
	parseErrors.d.ts	text/typescript	420 B
	parseErrors.js	text/javascript	1.98 kB
	parseErrors.js.map	application/json	1.39 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