UNPKG

@informalsystems/quint

Version:

Core tool for the Quint specification language

github.com/informalsystems/quint

informalsystems/quint

30 files

	Filename	Content Type	Size
	../
	Context.d.ts	text/typescript	1.96 kB
	Context.js	text/javascript	1.34 kB
	Context.js.map	application/json	563 B
	VarStorage.1.d.ts	text/typescript	0 B
	VarStorage.1.js	text/javascript	54 B
	VarStorage.1.js.map	application/json	138 B
	VarStorage.d.ts	text/typescript	3.73 kB
	VarStorage.js	text/javascript	6.34 kB
	VarStorage.js.map	application/json	4.09 kB
	builder.d.ts	text/typescript	5.3 kB
	builder.js	text/javascript	24.6 kB
	builder.js.map	application/json	14.2 kB
	builtins.d.ts	text/typescript	3.69 kB
	builtins.js	text/javascript	38.3 kB
	builtins.js.map	application/json	30 kB
	evaluator.d.ts	text/typescript	5.03 kB
	evaluator.js	text/javascript	18.2 kB
	evaluator.js.map	application/json	12.4 kB
	nondet.d.ts	text/typescript	1.14 kB
	nondet.js	text/javascript	5.27 kB
	nondet.js.map	application/json	2.44 kB
	runtimeValue.d.ts	text/typescript	13.6 kB
	runtimeValue.js	text/javascript	47.4 kB
	runtimeValue.js.map	application/json	33.9 kB
	runtimeValueDiff.d.ts	text/typescript	548 B
	runtimeValueDiff.js	text/javascript	13.7 kB
	runtimeValueDiff.js.map	application/json	14.5 kB
	trace.d.ts	text/typescript	337 B
	trace.js	text/javascript	1.49 kB
	trace.js.map	application/json	1.1 kB