@runtimeverificationinc/tsk
Version:
TypeScript/JavaScript library for K Framework functionality
13 lines (12 loc) • 616 B
TypeScript
export declare function enQuoteString(s: string): string;
export declare function deQuoteString(s: string): string;
export declare function enQuoteBytes(s: string): string;
export declare function deQuoteBytes(s: string): string;
export declare function bytesEncode(s: string): Uint8Array;
export declare function bytesDecode(b: Uint8Array): string;
export declare function deQuoted(it: Iterable<string>, options?: {
allowUnicode?: boolean;
}): Generator<string, void, unknown>;
export declare function enQuoted(it: Iterable<string>, options?: {
allowUnicode?: boolean;
}): Generator<string, void, unknown>;