import { type MergeIntersection, type TypeEq } from 'ts-type-forge';
import { type ExcessPropertyOption, type Type, type TypeOf, type UnknownShape } from '../type.mjs';
export declare const record: <const S extends UnknownShape, const EP extends ExcessPropertyOption = 'allow'>(shape: S, options?: Partial<Readonly<{
    typeName: string;
    /**
     * Controls how excess properties (keys not in shape) are handled.
     *
     * - `'allow'` (default) — accept excess properties
     * - `'reject'` — reject objects with excess properties
     */
    excessProperty: EP;
}>>) => Type<RecordTypeFromShape<S>>;
/**
 * Creates a strict record type that rejects excess properties.
 * This is an alias for `record(shape, { excessProperty: 'reject' })`.
 */
export declare const strictRecord: <const S extends UnknownShape>(shape: S, options?: Partial<Readonly<{
    typeName: string;
}>>) => Type<RecordTypeFromShape<S>>;
/** @internal */
type RecordTypeFromShape<S extends UnknownShape> = TsFortressInternal.RecordTypeFromShapeImpl<S>;
declare namespace TsFortressInternal {
    export type RecordTypeFromShapeImpl<S extends UnknownShape> = RecordTypeFromShapeImplSub<S, OptionalTypeKeys<S>>;
    type RecordTypeFromShapeImplSub<S extends UnknownShape, OptionalKeys extends keyof S> = TypeEq<OptionalKeys, never> extends true ? Readonly<{
        [key in Exclude<keyof S, OptionalKeys>]: TypeOf<S[key]>;
    }> : TypeEq<keyof S, OptionalKeys> extends true ? MergeIntersection<Readonly<{
        [key in OptionalKeys]?: TypeOf<S[key]>;
    }>> : MergeIntersection<Readonly<{
        [key in OptionalKeys]?: TypeOf<S[key]>;
    } & {
        [key in Exclude<keyof S, OptionalKeys>]: TypeOf<S[key]>;
    }>>;
    type OptionalTypeKeys<S extends UnknownShape> = {
        [K in keyof S]: S[K] extends Readonly<{
            optional: true;
        }> ? K : never;
    }[keyof S];
    export {};
}
export {};
//# sourceMappingURL=record.d.mts.map