import { type IrInterfaceMember, type IrParameter, type IrPattern, type IrType, type IrTypeParameter, type ValidationContext } from "./soundness-gate-shared.js";
export declare const validateType: (type: IrType | undefined, ctx: ValidationContext, typeContext: string, options?: {
    readonly allowRootUnknownType?: boolean;
}) => void;
export declare const validateParameter: (parameter: IrParameter, ctx: ValidationContext) => void;
export declare const validateTypeParameter: (typeParameter: IrTypeParameter, ctx: ValidationContext) => void;
export declare const validateInterfaceMember: (member: IrInterfaceMember, ctx: ValidationContext) => void;
export declare const validatePattern: (pattern: IrPattern, ctx: ValidationContext) => void;
//# sourceMappingURL=soundness-gate-type-validation.d.ts.map