import { CLIProcedure, CompiledStage, TracingStage } from './cliCommands';
export declare function verifyWithTlcBackend(prev: CompiledStage, verifying: TracingStage, verbosityLevel: number): Promise<CLIProcedure<TracingStage>>;
export declare function verifyWithApalacheBackend(prev: CompiledStage, verifying: TracingStage, verbosityLevel: number): Promise<CLIProcedure<TracingStage>>;