UNPKG

@runtimeverificationinc/tsk

Version:

TypeScript/JavaScript library for K Framework functionality

github.com/runtimeverification/tsk

runtimeverification/tsk

8 files

	Filename	Content Type	Size
	../
	bytes.d.ts	text/typescript	330 B
	collections.d.ts	text/typescript	975 B
	k.d.ts	text/typescript	283 B
	kbool.d.ts	text/typescript	489 B
	kint.d.ts	text/typescript	5.79 kB
	ml.d.ts	text/typescript	1.25 kB
	string.d.ts	text/typescript	200 B
	utils.d.ts	text/typescript	117 B