declare type GetLevel4Property<Model, Key1 extends string, Key2 extends string, Key3 extends string, Key4 extends string> = Key1 extends keyof Model ? Key2 extends keyof Model[Key1] ? Key3 extends keyof Model[Key1][Key2] ? Key4 extends keyof Model[Key1][Key2][Key3] ? {
    [K in Key1]: {
        [K2 in Key2]: {
            [K3 in Key3]: {
                [K4 in Key4]: Model[Key1][Key2][Key3][Key4];
            };
        };
    };
} : never : never : never : never;
declare type GetLevel3Property<Model, Key1 extends string, Key2 extends string, Key3 extends string> = Key1 extends keyof Model ? Key2 extends keyof Model[Key1] ? Key3 extends keyof Model[Key1][Key2] ? {
    [K in Key1]: {
        [K2 in Key2]: {
            [K3 in Key3]: Model[Key1][Key2][Key3];
        };
    };
} : never : never : never;
declare type GetLevel2Property<Model, Key1 extends string, Key2 extends string> = Key1 extends keyof Model ? Key2 extends keyof Model[Key1] ? {
    [K in Key1]: {
        [K2 in Key2]: Model[Key1][Key2];
    };
} : never : never;
declare type GetLevel1Property<Model, Key1 extends string> = Key1 extends keyof Model ? {
    [K in Key1]: Model[Key1];
} : never;
export declare type GetNestedProperty<Model, T extends string> = T extends '' ? {} : T extends `${infer Level4Part1}.${infer Level4Part2}.${infer Level4Part3}.${infer Level4Part4}` ? GetLevel4Property<Model, Level4Part1, Level4Part2, Level4Part3, Level4Part4> : T extends `${infer Level3Part1}.${infer Level3Part2}.${infer Level3Part3}` ? GetLevel3Property<Model, Level3Part1, Level3Part2, Level3Part3> : T extends `${infer Level2Part1}.${infer Level2Part2}` ? GetLevel2Property<Model, Level2Part1, Level2Part2> : GetLevel1Property<Model, T>;
declare type GetLevel4PropertyType<Model, Key1 extends string, Key2 extends string, Key3 extends string, Key4 extends string> = Key1 extends keyof Model ? Key2 extends keyof Model[Key1] ? Key3 extends keyof Model[Key1][Key2] ? Key4 extends keyof Model[Key1][Key2][Key3] ? Model[Key1][Key2][Key3][Key4] : never : never : never : never;
declare type GetLevel3PropertyType<Model, Key1 extends string, Key2 extends string, Key3 extends string> = Key1 extends keyof Model ? Key2 extends keyof Model[Key1] ? Key3 extends keyof Model[Key1][Key2] ? Model[Key1][Key2][Key3] : never : never : never;
declare type GetLevel2PropertyType<Model, Key1 extends string, Key2 extends string> = Key1 extends keyof Model ? Key2 extends keyof Model[Key1] ? Model[Key1][Key2] : never : never;
declare type GetLevel1PropertyType<Model, Key1 extends string> = Key1 extends keyof Model ? Model[Key1] : never;
export declare type GetNestedPropertyType<Model, T extends string> = T extends '' ? {} : T extends `${infer Level4Part1}.${infer Level4Part2}.${infer Level4Part3}.${infer Level4Part4}` ? GetLevel4PropertyType<Model, Level4Part1, Level4Part2, Level4Part3, Level4Part4> : T extends `${infer Level3Part1}.${infer Level3Part2}.${infer Level3Part3}` ? GetLevel3PropertyType<Model, Level3Part1, Level3Part2, Level3Part3> : T extends `${infer Level2Part1}.${infer Level2Part2}` ? GetLevel2PropertyType<Model, Level2Part1, Level2Part2> : GetLevel1PropertyType<Model, T>;
export {};