@runtimeverificationinc/tsk
Version:
TypeScript/JavaScript library for K Framework functionality
7 lines (6 loc) • 330 B
TypeScript
import { KSort, KToken } from "../inner";
export declare const BYTES: KSort;
export declare function bytesTokenFromStr(pretty: string): KToken;
export declare function bytesToken(b: Uint8Array): KToken;
export declare function prettyBytesStr(token: KToken): string;
export declare function prettyBytes(token: KToken): Uint8Array;