type Prev = [never, 0, 1, 2, 3, 4, 5, 6, 7, 8];
export type Path<T, D extends number = 8> = [D] extends [never] ? never : T extends ReadonlyArray<infer E> ? [number] | [number, ...Path<E, Prev[D]>] : T extends object ? {
    [K in keyof T & (string | number)]: [K] | [K, ...Path<T[K], Prev[D]>];
}[keyof T & (string | number)] : never;
export type PathValue<T, P extends ReadonlyArray<unknown>> = P extends [infer H, ...infer R] ? H extends keyof T ? R extends [] ? T[H] : PathValue<T[H], R> : T extends ReadonlyArray<infer E> ? R extends [] ? E : PathValue<E, R> : never : T;
export declare function asPath<const P extends ReadonlyArray<string | number>>(p: P): P;
export {};