@runtimeverificationinc/tsk
Version:
TypeScript/JavaScript library for K Framework functionality
10 lines (9 loc) • 489 B
TypeScript
import { KApply, KInner, KSort, KToken } from "../inner";
export declare const BOOL: KSort;
export declare const TRUE: KToken;
export declare const FALSE: KToken;
export declare function boolToken(b: boolean): KToken;
export declare function andBool(items: Iterable<KInner>): KInner;
export declare function orBool(items: Iterable<KInner>): KInner;
export declare function notBool(item: KInner): KApply;
export declare function impliesBool(antecedent: KInner, consequent: KInner): KApply;