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

TypeScript/JavaScript library for K Framework functionality

import { KDefinition } from "./outer";
import { Definition } from "./outer_syntax";
export interface ParseOuterOptions {
    includeDirs?: Iterable<string>;
    mdSelector?: string;
    includeSource?: boolean;
}
export declare function parseOuter(definitionFile: string, mainModule: string, options?: ParseOuterOptions): KDefinition;
export interface SlurpDefinitionsOptions {
    includeDirs?: Iterable<string>;
    mdSelector?: string | null;
    includeSource?: boolean;
}
export declare function slurpDefinitions(mainFile: string, options?: SlurpDefinitionsOptions): Record<string, Definition>;