@runtimeverificationinc/tsk
Version:
TypeScript/JavaScript library for K Framework functionality
19 lines (18 loc) • 975 B
TypeScript
import { KInner, KSort } from "../inner";
export declare const SET: KSort;
export declare const LIST: KSort;
export declare const MAP: KSort;
export declare const RANGEMAP: KSort;
export declare const BAG: KSort;
export declare function setEmpty(): KInner;
export declare function setItem(k: KInner): KInner;
export declare function setOf(ks: Iterable<KInner>): KInner;
export declare function listEmpty(): KInner;
export declare function listItem(k: KInner): KInner;
export declare function listOf(ks: Iterable<KInner>): KInner;
export declare function mapEmpty(): KInner;
export declare function mapItem(k: KInner, v: KInner): KInner;
export declare function mapOf(ks: Map<KInner, KInner> | Iterable<[KInner, KInner]>): KInner;
export declare function rangemapEmpty(): KInner;
export declare function rangemapItem(k: [KInner, KInner], v: KInner): KInner;
export declare function rangemapOf(ks: Map<[KInner, KInner], KInner> | Iterable<[[KInner, KInner], KInner]>): KInner;