UNPKG

@runtimeverificationinc/tsk

Version:

TypeScript/JavaScript library for K Framework functionality

github.com/runtimeverification/tsk

runtimeverification/tsk

5 lines (4 loc) • 200 B
1
2
3
4
5
import { KSort, KToken } from "../inner"; export declare const STRING: KSort; export declare function stringToken(pretty: string): KToken; export declare function prettyString(token: KToken): string;