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

TypeScript/JavaScript library for K Framework functionality

export declare function selectCodeBlocks(text: string, selector?: string): string;
export interface CodeBlock {
    info: string;
    code: string;
}
export declare function codeBlocks(text: string): Generator<CodeBlock>;
export declare function parseTags(text: string): Set<string>;
export declare abstract class Selector {
    abstract eval(atoms: Set<string> | string[]): boolean;
}
export declare class Atom extends Selector {
    readonly name: string;
    constructor(name: string);
    eval(atoms: Set<string> | string[]): boolean;
}
export declare class Not extends Selector {
    readonly op: Selector;
    constructor(op: Selector);
    eval(atoms: Set<string> | string[]): boolean;
}
export declare class And extends Selector {
    readonly ops: readonly Selector[];
    constructor(ops: readonly Selector[]);
    eval(atoms: Set<string> | string[]): boolean;
}
export declare class Or extends Selector {
    readonly ops: readonly Selector[];
    constructor(ops: readonly Selector[]);
    eval(atoms: Set<string> | string[]): boolean;
}
export declare class SelectorParser {
    private _la;
    private _it;
    constructor(selector: string);
    private _consume;
    private _match;
    parse(): Selector;
    private _or;
    private _and;
    private _lit;
}