/**
 * Definitions for Judge
 */
declare class Judge {
    static OK: number;
    static PU: number;
    static PROXY: number;
    static BOT: number;
    static RESULTS: {
        [x: number]: {
            verdict: string;
            name: string;
        };
    };
    static getResultMap(): string[];
}

export { Judge };
