@informalsystems/quint

Version:

Core tool for the Quint specification language

36 files

Filename	Content Type	Size
../
aliasInliner.d.ts	text/typescript	1.75 kB
aliasInliner.js	text/javascript	4.89 kB
aliasInliner.js.map	application/json	2.46 kB
base.d.ts	text/typescript	1.05 kB
base.js	text/javascript	1.33 kB
base.js.map	application/json	681 B
builtinSignatures.d.ts	text/typescript	101 B
builtinSignatures.js	text/javascript	7.55 kB
builtinSignatures.js.map	application/json	6.7 kB
constraintGenerator.d.ts	text/typescript	2.22 kB
constraintGenerator.js	text/javascript	18.6 kB
constraintGenerator.js.map	application/json	17 kB
constraintSolver.d.ts	text/typescript	1.29 kB
constraintSolver.js	text/javascript	12.1 kB
constraintSolver.js.map	application/json	10.4 kB
inferrer.d.ts	text/typescript	1.15 kB
inferrer.js	text/javascript	2.02 kB
inferrer.js.map	application/json	985 B
parser.d.ts	text/typescript	528 B
parser.js	text/javascript	4.87 kB
parser.js.map	application/json	2.61 kB
printing.d.ts	text/typescript	936 B
printing.js	text/javascript	2.75 kB
printing.js.map	application/json	2.32 kB
simplification.d.ts	text/typescript	649 B
simplification.js	text/javascript	1.83 kB
simplification.js.map	application/json	973 B
specialConstraints.d.ts	text/typescript	1.58 kB
specialConstraints.js	text/javascript	13.1 kB
specialConstraints.js.map	application/json	9.21 kB
substitutions.d.ts	text/typescript	1.32 kB
substitutions.js	text/javascript	7.09 kB
substitutions.js.map	application/json	5.5 kB
typeApplicationResolution.d.ts	text/typescript	795 B
typeApplicationResolution.js	text/javascript	7.45 kB
typeApplicationResolution.js.map	application/json	5.36 kB