UNPKG

@runtimeverificationinc/tsk

Version:

TypeScript/JavaScript library for K Framework functionality

github.com/runtimeverification/tsk

runtimeverification/tsk

3 lines (2 loc) • 117 B
1
2
3
import { KToken } from "../inner"; export declare function token(x: boolean | number | string | Uint8Array): KToken;