@informalsystems/quint
Version:
Core tool for the Quint specification language
7 lines (6 loc) • 508 B
TypeScript
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;