UNPKG

@informalsystems/quint

Version:

Core tool for the Quint specification language

github.com/informalsystems/quint

informalsystems/quint

9 files

	Filename	Content Type	Size
	../
	flattener.d.ts	text/typescript	1.25 kB
	flattener.js	text/javascript	7.11 kB
	flattener.js.map	application/json	4.77 kB
	fullFlattener.d.ts	text/typescript	1.12 kB
	fullFlattener.js	text/javascript	5.2 kB
	fullFlattener.js.map	application/json	2.53 kB
	instanceFlattener.d.ts	text/typescript	1.3 kB
	instanceFlattener.js	text/javascript	6.96 kB
	instanceFlattener.js.map	application/json	3.72 kB