UNPKG

@informalsystems/quint

Version:

Core tool for the Quint specification language

github.com/informalsystems/quint

informalsystems/quint

27 files

	Filename	Content Type	Size
	../
	IRFinder.d.ts	text/typescript	1.62 kB
	IRFinder.js	text/javascript	3.54 kB
	IRFinder.js.map	application/json	2.07 kB
	IRTransformer.d.ts	text/typescript	7.07 kB
	IRTransformer.js	text/javascript	18 kB
	IRTransformer.js.map	application/json	11.3 kB
	IRVisitor.d.ts	text/typescript	5.77 kB
	IRVisitor.js	text/javascript	13.9 kB
	IRVisitor.js.map	application/json	9.38 kB
	IRprinting.d.ts	text/typescript	2.87 kB
	IRprinting.js	text/javascript	9.4 kB
	IRprinting.js.map	application/json	6.68 kB
	idRefresher.d.ts	text/typescript	1.08 kB
	idRefresher.js	text/javascript	3.18 kB
	idRefresher.js.map	application/json	2.03 kB
	initToPredicate.d.ts	text/typescript	1.17 kB
	initToPredicate.js	text/javascript	4.91 kB
	initToPredicate.js.map	application/json	3.42 kB
	namespacer.d.ts	text/typescript	549 B
	namespacer.js	text/javascript	3.05 kB
	namespacer.js.map	application/json	1.86 kB
	quintIr.d.ts	text/typescript	11.4 kB
	quintIr.js	text/javascript	3.37 kB
	quintIr.js.map	application/json	1.83 kB
	quintTypes.d.ts	text/typescript	3.04 kB
	quintTypes.js	text/javascript	2.73 kB
	quintTypes.js.map	application/json	2.16 kB