import { Command } from 'command-line-application';
import { Config } from '@proof-ui/config';
import { CLIArguments } from './args';
export type { CLIArguments } from './args';
export declare function getAppDefinition(conf: Config): Promise<Command>;
declare type ParsedCLIArgs = CLIArguments & {
    _unknown?: string[];
};
export declare function main(options?: {
    config: Config;
    args: ParsedCLIArgs;
}): Promise<void | import("@proof-ui/core").SuiteResult>;
export default function run(): void;