UNPKG

@informalsystems/quint

Version:

Core tool for the Quint specification language

github.com/informalsystems/quint

informalsystems/quint

27 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	23.9 kB
	builder.js.map	application/json	13.6 kB
	builtins.d.ts	text/typescript	3.69 kB
	builtins.js	text/javascript	38.2 kB
	builtins.js.map	application/json	30 kB
	evaluator.d.ts	text/typescript	4.89 kB
	evaluator.js	text/javascript	17.9 kB
	evaluator.js.map	application/json	12.3 kB
	nondet.d.ts	text/typescript	1.14 kB
	nondet.js	text/javascript	5.27 kB
	nondet.js.map	application/json	2.42 kB
	runtimeValue.d.ts	text/typescript	13.6 kB
	runtimeValue.js	text/javascript	47 kB
	runtimeValue.js.map	application/json	33.6 kB
	trace.d.ts	text/typescript	206 B
	trace.js	text/javascript	930 B
	trace.js.map	application/json	519 B