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

TypeScript/JavaScript library for K Framework functionality

import { KInner } from "./inner";
import { KDefinition } from "./outer";
export declare class Formatter {
    readonly definition: KDefinition;
    private _indent;
    private readonly _brackets;
    constructor(definition: KDefinition, options?: {
        indent?: number;
        brackets?: boolean;
    });
    format(term: KInner): string;
    private _format;
    private _formatKSequence;
    private _formatKApply;
    private _interpretToken;
    private _interpretIndex;
}
export declare function addBrackets(definition: KDefinition, term: KInner): KInner;