import type { ProgramContext } from "../program-context.js";
import type { IrType } from "../types.js";
import type { BoundDecl } from "./narrowing-resolvers.js";
export declare const getCurrentTypeForDecl: (declId: BoundDecl, ctx: ProgramContext) => IrType;
export declare const getReadableMemberTypeForNarrowing: (type: IrType, propertyName: string, ctx: ProgramContext) => IrType | undefined;
export declare const narrowTypeByPropertyPresence: (currentType: IrType, propertyName: string, wantPresent: boolean, ctx: ProgramContext) => IrType | undefined;
export declare const narrowTypeByPropertyTruthiness: (currentType: IrType, propertyName: string, wantTruthy: boolean, ctx: ProgramContext) => IrType | undefined;
//# sourceMappingURL=narrowing-property-helpers.d.ts.map