@informalsystems/quint

Version:

Core tool for the Quint specification language

9 files

Filename	Content Type	Size
../
flattener.test.d.ts	text/typescript	11 B
flattener.test.js	text/javascript	8.06 kB
flattener.test.js.map	application/json	6.14 kB
fullFlattener.test.d.ts	text/typescript	11 B
fullFlattener.test.js	text/javascript	5.72 kB
fullFlattener.test.js.map	application/json	3.1 kB
instanceFlattener.test.d.ts	text/typescript	11 B
instanceFlattener.test.js	text/javascript	4.51 kB
instanceFlattener.test.js.map	application/json	3.48 kB