@runtimeverificationinc/tsk
Version:
TypeScript/JavaScript library for K Framework functionality
19 lines (18 loc) • 1.25 kB
TypeScript
import { KApply, KInner, KSort, KVariable } from "../inner";
export declare function isTop(term: KInner, options?: {
weak?: boolean;
}): boolean;
export declare function isBottom(term: KInner, options?: {
weak?: boolean;
}): boolean;
export declare function mlEquals(term1: KInner, term2: KInner, argSort?: string | KSort, sort?: string | KSort): KApply;
export declare function mlEqualsTrue(term: KInner, sort?: string | KSort): KApply;
export declare function mlEqualsFalse(term: KInner, sort?: string | KSort): KApply;
export declare function mlTop(sort?: string | KSort): KApply;
export declare function mlBottom(sort?: string | KSort): KApply;
export declare function mlNot(term: KInner, sort?: string | KSort): KApply;
export declare function mlAnd(conjuncts: Iterable<KInner>, sort?: string | KSort): KInner;
export declare function mlOr(disjuncts: Iterable<KInner>, sort?: string | KSort): KInner;
export declare function mlImplies(antecedent: KInner, consequent: KInner, sort?: string | KSort): KApply;
export declare function mlExists(variable: KVariable, body: KInner, sort1?: string | KSort, sort2?: string | KSort): KApply;
export declare function mlCeil(term: KInner, argSort?: string | KSort, sort?: string | KSort): KApply;