Interface TerminalDef

A compiled terminal definition (get_terminal).

interface TerminalDef {
    name: string;
    pattern: Pattern;
    priority: number;
}

Properties

name: string

pattern: Pattern

priority: number

Lexer priority (may be negative; default 0).