@runtimeverificationinc/tsk
Version:
TypeScript/JavaScript library for K Framework functionality
14 lines (13 loc) • 449 B
TypeScript
export declare abstract class KAst {
private _hash;
static version(): number;
abstract toDict(): Record<string, any>;
toJson(): string;
toString(): string;
equals(other: KAst): boolean;
protected abstract fieldEquals(other: KAst): boolean;
get hash(): string;
protected asShallowTuple(): any[];
lessThan(other: any): boolean;
}
export declare function kastTerm(dct: Record<string, any>): Record<string, any>;