@runtimeverificationinc/tsk/dist/types/index.d.ts

TypeScript/JavaScript library for K Framework functionality

export * from "./cterm";
export * from "./kast";
export { createFrozenRecord, deepConvert, filterNone, frozenRecord, isFrozenRecord, mergeWith, } from "./utils";
export type { FrozenRecord } from "./utils";