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

TypeScript/JavaScript library for K Framework functionality

export declare enum TokenType {
    EOF = "EOF",
    LPAREN = "LPAREN",
    RPAREN = "RPAREN",
    COMMA = "COMMA",
    COLON = "COLON",
    KSEQ = "KSEQ",
    DOTK = "DOTK",
    DOTKLIST = "DOTKLIST",
    TOKEN = "TOKEN",
    ID = "ID",
    VARIABLE = "VARIABLE",
    SORT = "SORT",
    KLABEL = "KLABEL",
    STRING = "STRING"
}
export interface Token {
    text: string;
    type: TokenType;
}
export declare function lexer(text: Iterable<string>): Generator<Token>;