declare type ValueOf<T> = T extends {
    value: infer U;
} ? U : T extends {
    value?: infer V;
} ? V | undefined : T;
declare type Nullable<T> = T extends undefined ? undefined : T extends null ? null : never;
declare type Lvl0<T> = NonNullable<ValueOf<T>>;
declare type Lvl1<T, K0 extends keyof Lvl0<T>> = NonNullable<ValueOf<Lvl0<T>[K0]>>;
declare type Lvl2<T, K0 extends keyof Lvl0<T>, K1 extends keyof Lvl1<T, K0>> = NonNullable<ValueOf<Lvl1<T, K0>[K1]>>;
declare type Lvl3<T, K0 extends keyof Lvl0<T>, K1 extends keyof Lvl1<T, K0>, K2 extends keyof Lvl2<T, K0, K1>> = NonNullable<ValueOf<Lvl2<T, K0, K1>[K2]>>;
declare type Lvl4<T, K0 extends keyof Lvl0<T>, K1 extends keyof Lvl1<T, K0>, K2 extends keyof Lvl2<T, K0, K1>, K3 extends keyof Lvl3<T, K0, K1, K2>> = NonNullable<ValueOf<Lvl3<T, K0, K1, K2>[K3]>>;
declare type Lvl5<T, K0 extends keyof Lvl0<T>, K1 extends keyof Lvl1<T, K0>, K2 extends keyof Lvl2<T, K0, K1>, K3 extends keyof Lvl3<T, K0, K1, K2>, K4 extends keyof Lvl4<T, K0, K1, K2, K3>> = NonNullable<ValueOf<Lvl4<T, K0, K1, K2, K3>[K4]>>;
declare type Lvl6<T, K0 extends keyof Lvl0<T>, K1 extends keyof Lvl1<T, K0>, K2 extends keyof Lvl2<T, K0, K1>, K3 extends keyof Lvl3<T, K0, K1, K2>, K4 extends keyof Lvl4<T, K0, K1, K2, K3>, K5 extends keyof Lvl5<T, K0, K1, K2, K3, K4>> = NonNullable<ValueOf<Lvl5<T, K0, K1, K2, K3, K4>[K5]>>;
declare type Lvl7<T, K0 extends keyof Lvl0<T>, K1 extends keyof Lvl1<T, K0>, K2 extends keyof Lvl2<T, K0, K1>, K3 extends keyof Lvl3<T, K0, K1, K2>, K4 extends keyof Lvl4<T, K0, K1, K2, K3>, K5 extends keyof Lvl5<T, K0, K1, K2, K3, K4>, K6 extends keyof Lvl6<T, K0, K1, K2, K3, K4, K5>> = NonNullable<ValueOf<Lvl6<T, K0, K1, K2, K3, K4, K5>[K6]>>;
declare type Lvl8<T, K0 extends keyof Lvl0<T>, K1 extends keyof Lvl1<T, K0>, K2 extends keyof Lvl2<T, K0, K1>, K3 extends keyof Lvl3<T, K0, K1, K2>, K4 extends keyof Lvl4<T, K0, K1, K2, K3>, K5 extends keyof Lvl5<T, K0, K1, K2, K3, K4>, K6 extends keyof Lvl6<T, K0, K1, K2, K3, K4, K5>, K7 extends keyof Lvl7<T, K0, K1, K2, K3, K4, K5, K6>> = NonNullable<ValueOf<Lvl7<T, K0, K1, K2, K3, K4, K5, K6>[K7]>>;
declare type Lvl9<T, K0 extends keyof Lvl0<T>, K1 extends keyof Lvl1<T, K0>, K2 extends keyof Lvl2<T, K0, K1>, K3 extends keyof Lvl3<T, K0, K1, K2>, K4 extends keyof Lvl4<T, K0, K1, K2, K3>, K5 extends keyof Lvl5<T, K0, K1, K2, K3, K4>, K6 extends keyof Lvl6<T, K0, K1, K2, K3, K4, K5>, K7 extends keyof Lvl7<T, K0, K1, K2, K3, K4, K5, K6>, K8 extends keyof Lvl8<T, K0, K1, K2, K3, K4, K5, K6, K7>> = NonNullable<ValueOf<Lvl8<T, K0, K1, K2, K3, K4, K5, K6, K7>[K8]>>;
export declare function getPropValue<T>(obj: T): ValueOf<T> | Nullable<ValueOf<T>>;
export declare function getPropValue<T, K0 extends keyof Lvl0<T>>(obj: T, k0: K0): ValueOf<Lvl0<T>[K0]> | Nullable<ValueOf<T>>;
export declare function getPropValue<T, K0 extends keyof Lvl0<T>, K1 extends keyof Lvl1<T, K0>>(obj: T, k0: K0, k1: K1): ValueOf<Lvl1<T, K0>[K1]> | Nullable<ValueOf<T>> | Nullable<ValueOf<Lvl0<T>[K0]>>;
export declare function getPropValue<T, K0 extends keyof Lvl0<T>, K1 extends keyof Lvl1<T, K0>, K2 extends keyof Lvl2<T, K0, K1>>(obj: T, k0: K0, k1: K1, k2: K2): ValueOf<Lvl2<T, K0, K1>[K2]> | Nullable<ValueOf<T>> | Nullable<ValueOf<Lvl0<T>[K0]>> | Nullable<ValueOf<Lvl1<T, K0>[K1]>>;
export declare function getPropValue<T, K0 extends keyof Lvl0<T>, K1 extends keyof Lvl1<T, K0>, K2 extends keyof Lvl2<T, K0, K1>, K3 extends keyof Lvl3<T, K0, K1, K2>>(obj: T, k0: K0, k1: K1, k2: K2, k3: K3): ValueOf<Lvl3<T, K0, K1, K2>[K3]> | Nullable<ValueOf<T>> | Nullable<ValueOf<Lvl0<T>[K0]>> | Nullable<ValueOf<Lvl1<T, K0>[K1]>> | Nullable<ValueOf<Lvl2<T, K0, K1>[K2]>>;
export declare function getPropValue<T, K0 extends keyof Lvl0<T>, K1 extends keyof Lvl1<T, K0>, K2 extends keyof Lvl2<T, K0, K1>, K3 extends keyof Lvl3<T, K0, K1, K2>, K4 extends keyof Lvl4<T, K0, K1, K2, K3>>(obj: T, k0: K0, k1: K1, k2: K2, k3: K3, k4: K4): ValueOf<Lvl4<T, K0, K1, K2, K3>[K4]> | Nullable<ValueOf<T>> | Nullable<ValueOf<Lvl0<T>[K0]>> | Nullable<ValueOf<Lvl1<T, K0>[K1]>> | Nullable<ValueOf<Lvl2<T, K0, K1>[K2]>> | Nullable<ValueOf<Lvl3<T, K0, K1, K2>[K3]>>;
export declare function getPropValue<T, K0 extends keyof Lvl0<T>, K1 extends keyof Lvl1<T, K0>, K2 extends keyof Lvl2<T, K0, K1>, K3 extends keyof Lvl3<T, K0, K1, K2>, K4 extends keyof Lvl4<T, K0, K1, K2, K3>, K5 extends keyof Lvl5<T, K0, K1, K2, K3, K4>>(obj: T, k0: K0, k1: K1, k2: K2, k3: K3, k4: K4, k5: K5): ValueOf<Lvl5<T, K0, K1, K2, K3, K4>[K5]> | Nullable<ValueOf<T>> | Nullable<ValueOf<Lvl0<T>[K0]>> | Nullable<ValueOf<Lvl1<T, K0>[K1]>> | Nullable<ValueOf<Lvl2<T, K0, K1>[K2]>> | Nullable<ValueOf<Lvl3<T, K0, K1, K2>[K3]>> | Nullable<ValueOf<Lvl4<T, K0, K1, K2, K3>[K4]>>;
export declare function getPropValue<T, K0 extends keyof Lvl0<T>, K1 extends keyof Lvl1<T, K0>, K2 extends keyof Lvl2<T, K0, K1>, K3 extends keyof Lvl3<T, K0, K1, K2>, K4 extends keyof Lvl4<T, K0, K1, K2, K3>, K5 extends keyof Lvl5<T, K0, K1, K2, K3, K4>, K6 extends keyof Lvl6<T, K0, K1, K2, K3, K4, K5>>(obj: T, k0: K0, k1: K1, k2: K2, k3: K3, k4: K4, k5: K5, k6: K6): ValueOf<Lvl6<T, K0, K1, K2, K3, K4, K5>[K6]> | Nullable<ValueOf<T>> | Nullable<ValueOf<Lvl0<T>[K0]>> | Nullable<ValueOf<Lvl1<T, K0>[K1]>> | Nullable<ValueOf<Lvl2<T, K0, K1>[K2]>> | Nullable<ValueOf<Lvl3<T, K0, K1, K2>[K3]>> | Nullable<ValueOf<Lvl4<T, K0, K1, K2, K3>[K4]>> | Nullable<ValueOf<Lvl5<T, K0, K1, K2, K3, K4>[K5]>>;
export declare function getPropValue<T, K0 extends keyof Lvl0<T>, K1 extends keyof Lvl1<T, K0>, K2 extends keyof Lvl2<T, K0, K1>, K3 extends keyof Lvl3<T, K0, K1, K2>, K4 extends keyof Lvl4<T, K0, K1, K2, K3>, K5 extends keyof Lvl5<T, K0, K1, K2, K3, K4>, K6 extends keyof Lvl6<T, K0, K1, K2, K3, K4, K5>, K7 extends keyof Lvl7<T, K0, K1, K2, K3, K4, K5, K6>>(obj: T, k0: K0, k1: K1, k2: K2, k3: K3, k4: K4, k5: K5, k6: K6, k7: K7): ValueOf<Lvl7<T, K0, K1, K2, K3, K4, K5, K6>[K7]> | Nullable<ValueOf<T>> | Nullable<ValueOf<Lvl0<T>[K0]>> | Nullable<ValueOf<Lvl1<T, K0>[K1]>> | Nullable<ValueOf<Lvl2<T, K0, K1>[K2]>> | Nullable<ValueOf<Lvl3<T, K0, K1, K2>[K3]>> | Nullable<ValueOf<Lvl4<T, K0, K1, K2, K3>[K4]>> | Nullable<ValueOf<Lvl5<T, K0, K1, K2, K3, K4>[K5]>> | Nullable<ValueOf<Lvl6<T, K0, K1, K2, K3, K4, K5>[K6]>>;
export declare function getPropValue<T, K0 extends keyof Lvl0<T>, K1 extends keyof Lvl1<T, K0>, K2 extends keyof Lvl2<T, K0, K1>, K3 extends keyof Lvl3<T, K0, K1, K2>, K4 extends keyof Lvl4<T, K0, K1, K2, K3>, K5 extends keyof Lvl5<T, K0, K1, K2, K3, K4>, K6 extends keyof Lvl6<T, K0, K1, K2, K3, K4, K5>, K7 extends keyof Lvl7<T, K0, K1, K2, K3, K4, K5, K6>, K8 extends keyof Lvl8<T, K0, K1, K2, K3, K4, K5, K6, K7>>(obj: T, k0: K0, k1: K1, k2: K2, k3: K3, k4: K4, k5: K5, k6: K6, k7: K7, k8: K8): ValueOf<Lvl8<T, K0, K1, K2, K3, K4, K5, K6, K7>[K8]> | Nullable<ValueOf<T>> | Nullable<ValueOf<Lvl0<T>[K0]>> | Nullable<ValueOf<Lvl1<T, K0>[K1]>> | Nullable<ValueOf<Lvl2<T, K0, K1>[K2]>> | Nullable<ValueOf<Lvl3<T, K0, K1, K2>[K3]>> | Nullable<ValueOf<Lvl4<T, K0, K1, K2, K3>[K4]>> | Nullable<ValueOf<Lvl5<T, K0, K1, K2, K3, K4>[K5]>> | Nullable<ValueOf<Lvl6<T, K0, K1, K2, K3, K4, K5>[K6]>> | Nullable<ValueOf<Lvl7<T, K0, K1, K2, K3, K4, K5, K6>[K7]>>;
export declare function getPropValue<T, K0 extends keyof Lvl0<T>, K1 extends keyof Lvl1<T, K0>, K2 extends keyof Lvl2<T, K0, K1>, K3 extends keyof Lvl3<T, K0, K1, K2>, K4 extends keyof Lvl4<T, K0, K1, K2, K3>, K5 extends keyof Lvl5<T, K0, K1, K2, K3, K4>, K6 extends keyof Lvl6<T, K0, K1, K2, K3, K4, K5>, K7 extends keyof Lvl7<T, K0, K1, K2, K3, K4, K5, K6>, K8 extends keyof Lvl8<T, K0, K1, K2, K3, K4, K5, K6, K7>, K9 extends keyof Lvl9<T, K0, K1, K2, K3, K4, K5, K6, K7, K8>>(obj: T, k0: K0, k1: K1, k2: K2, k3: K3, k4: K4, k5: K5, k6: K6, k7: K7, k8: K8, k9: K9): ValueOf<Lvl9<T, K0, K1, K2, K3, K4, K5, K6, K7, K8>[K9]> | Nullable<ValueOf<T>> | Nullable<ValueOf<Lvl0<T>[K0]>> | Nullable<ValueOf<Lvl1<T, K0>[K1]>> | Nullable<ValueOf<Lvl2<T, K0, K1>[K2]>> | Nullable<ValueOf<Lvl3<T, K0, K1, K2>[K3]>> | Nullable<ValueOf<Lvl4<T, K0, K1, K2, K3>[K4]>> | Nullable<ValueOf<Lvl5<T, K0, K1, K2, K3, K4>[K5]>> | Nullable<ValueOf<Lvl6<T, K0, K1, K2, K3, K4, K5>[K6]>> | Nullable<ValueOf<Lvl7<T, K0, K1, K2, K3, K4, K5, K6>[K7]>> | Nullable<ValueOf<Lvl8<T, K0, K1, K2, K3, K4, K5, K6, K7>[K8]>>;
export {};