@runtimeverificationinc/tsk/dist/types/kast/prelude/k.d.ts

TypeScript/JavaScript library for K Framework functionality

import { KInner, KSort, KToken } from "../inner";
export declare const K: KSort;
export declare const K_ITEM: KSort;
export declare const GENERATED_TOP_CELL: KSort;
export declare const DOTS: KToken;
export declare function inj(fromSort: KSort, toSort: KSort, term: KInner): KInner;