import { QuintError } from '../quintError';
export declare function lowercaseTypeError(id: bigint, name: string, prefix: string[]): QuintError;
export declare function mapSyntaxError(id: bigint, keyType: string, valueType: string): QuintError;
export declare function tooManySpreadsError(id: bigint): QuintError;
export declare function undeclaredTypeParamsError(id: bigint, unboundTypeVariables: string[]): QuintError;
export declare function duplicatedRecordField(id: bigint, names: string[]): QuintError;