@runtimeverificationinc/tsk/dist/types/kast/parser.d.ts

TypeScript/JavaScript library for K Framework functionality

import { KInner, KLabel } from "./inner";
export declare class KAstParser {
    private _it;
    private _la;
    constructor(text: Iterable<string>);
    private _consume;
    private _match;
    private _unexpectedToken;
    eof(): boolean;
    k(): KInner;
    kitem(): KInner;
    klabel(): KLabel;
    klist(): KInner[];
    private _unquote;
}