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

TypeScript/JavaScript library for K Framework functionality

import { Definition, Import, Module, Require, type Sentence, type StringSentence, type SyntaxSentence } from "./outer_syntax";
export declare class OuterParser {
    private lexer;
    private la;
    private la2;
    private source;
    constructor(text: Iterable<string>, source?: string);
    private consume;
    private errorLocationString;
    private unexpectedToken;
    private match;
    private matchAny;
    definition(): Definition;
    require(): Require;
    module(): Module;
    import(): Import;
    sentence(): Sentence;
    syntaxSentence(): SyntaxSentence;
    private sortDecl;
    private sort;
    private priorityBlock;
    private productionLike;
    private productionItem;
    private nonTerminal;
    stringSentence(): StringSentence;
    private maybeAtt;
}