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