import { ToolError } from './errors.js';
/**
 * Available debug flags
 */
export type DebugFlag = 'internal-vars';
/**
 * All supported debug flags
 */
export declare const ALL_DEBUG_FLAGS: DebugFlag[];
/** Upper bound on solutions enumerated by `--all`. */
export declare const ALL_SOLUTIONS_CAP = 10;
export interface CLIOptions {
    prologFile: string;
    query: string;
    output?: string;
    depth: number;
    verbose: boolean;
    quiet: boolean;
    debugFlags: Set<DebugFlag>;
    showCallTree: boolean;
    /** How many solutions to enumerate (default 1). */
    solutions: number;
    /** Enumerate all solutions, up to ALL_SOLUTIONS_CAP. */
    allSolutions: boolean;
    /** Also write one file per solution: <source>-soln1.md, -soln2.md, … */
    split: boolean;
}
export interface CLIResult {
    type: 'options' | 'help' | 'version' | 'copyright' | 'error';
    options?: CLIOptions;
    error?: ToolError;
}
export declare function parseArgs(argv: string[]): CLIResult;
export declare function getHelpText(): string;
export declare function getVersion(): string;
export declare function getCopyright(): string;
export declare function getBuildInfo(): {
    readonly version: "2.9.1";
    readonly name: "prolog-trace-viz";
    readonly description: "Generate enhanced visual trace diagrams for Prolog query execution";
    readonly author: "Johnny Jarecsni <johnny.jarecsni@icloud.com>";
    readonly license: "MIT";
    readonly buildTimestamp: "2026-07-26T09:13:40.395Z";
    readonly gitCommit: "54ec1ec";
    readonly gitBranch: "HEAD";
    readonly nodeVersion: "v20.20.2";
    readonly platform: "linux";
    readonly arch: "x64";
};
//# sourceMappingURL=cli.d.ts.map