export type PragmaKind = "AllowUnsafe" | "SkipPrelude" | "SkipWasm" | "SkipWasm32Emscripten" | "SkipWasm32Wasi" | "Verify" | "VerifyOrAssert" | "NoContracts";
export declare function registerFilePragma(modulePath: string, kind: PragmaKind): void;
export declare function fileHasPragma(modulePath: string | undefined, kind: PragmaKind): boolean;
export declare function _clearPragmaRegistry(): void;
export declare function _clearPragmaForModule(modulePath: string): void;
export declare function isImplicitlyUnsafeCapableFile(modulePath: string | undefined): boolean;
export declare function isAutoGeneratedExpansion(modulePath: string | undefined): boolean;
type ExternCallSiteRecord = {
    modulePath: string;
    characterOffset: number;
    calleeName: string;
};
export declare function recordExternCallSite(record: ExternCallSiteRecord): void;
export {};
