import type { Element } from "../../tui/elements.js"; import type { KeyEvent } from "../../tui/input/types.js"; import type { GraderVerdict, RunRow } from "../rows.js"; import type { ExplorerAction, ExplorerView, Viewport } from "./explorerView.js"; /** A verdict's score as 0..1, the same number the run row's mean uses. */ export declare function verdictValue(verdict: GraderVerdict): number; export declare class GradersTableView implements ExplorerView { private readonly runKey; private readonly inputId; readonly viewName: "graders"; private parent; private test; private cursorName; private scrollTop; private message; private readonly table; constructor(runKey: string, inputId: string); setData(rows: RunRow[]): void; setProgress(): void; notify(message: string): void; helpLines(): string[]; handleKey(event: KeyEvent, viewport: Viewport): ExplorerAction; render(viewport: Viewport): Element; private title; private emptyNote; private verdicts; private cursorIndex; private moveTo; private columns; }