UNPKG

@informalsystems/quint

Version:

Core tool for the Quint specification language

github.com/informalsystems/quint

informalsystems/quint

15 files

	Filename	Content Type	Size
	../
	base.d.ts	text/typescript	3.16 kB
	base.js	text/javascript	4.36 kB
	base.js.map	application/json	2.64 kB
	collector.d.ts	text/typescript	3.01 kB
	collector.js	text/javascript	13.6 kB
	collector.js.map	application/json	8.89 kB
	importErrors.d.ts	text/typescript	775 B
	importErrors.js	text/javascript	1.97 kB
	importErrors.js.map	application/json	1.28 kB
	resolver.d.ts	text/typescript	1.72 kB
	resolver.js	text/javascript	5.76 kB
	resolver.js.map	application/json	4.01 kB
	unshadower.d.ts	text/typescript	587 B
	unshadower.js	text/javascript	2.9 kB
	unshadower.js.map	application/json	2.17 kB