import { Eval } from '../sdk/eval';
export declare function correctness(): Eval;