/**
 * Interface to TLC model checker
 *
 * @author Yassine Boukhari, 2025
 *
 * @module
 */
import { Either } from '@sweet-monads/either';
import { ErrorMessage } from './ErrorMessage';
export interface TlcRuntimeConfig {
    maxHeap?: string;
    stackSize?: string;
    workers?: number | 'auto';
}
export declare function loadTlcConfig(configPath: string | undefined): TlcRuntimeConfig;
export interface TlcConfig {
    tlaCode: string;
    moduleName: string;
    hasInvariant: boolean;
    hasTemporal: boolean;
}
export type TlcError = {
    explanation: string;
    errors: ErrorMessage[];
    isViolation: boolean;
};
export type TlcResult<T> = Either<TlcError, T>;
export declare function verify(config: TlcConfig, apalacheVersion: string, runtimeConfig?: TlcRuntimeConfig, verbosityLevel?: number): Promise<TlcResult<void>>;