Function get$

get$<
    S extends t_Schema<t_LowerBound<unknown>>,
    K1 extends string | number | symbol,
    K2 extends string | number | symbol,
    K3 extends string | number | symbol,
    K4 extends string | number | symbol,
    K5 extends string | number | symbol,
    K6 extends string | number | symbol,
    K7 extends string | number | symbol,
    K8 extends string | number | symbol,
    K9 extends string | number | symbol,
    V = S["def"][K1][K2][K3][K4][K5][K6][K7][K8][K9],
>(
    schema: S,
    ...path: [K1, K2, K3, K4, K5, K6, K7, K8, K9],
): V

get$<
    S extends t_Schema<t_LowerBound<unknown>>,
    K1 extends string | number | symbol,
    K2 extends string | number | symbol,
    K3 extends string | number | symbol,
    K4 extends string | number | symbol,
    K5 extends string | number | symbol,
    K6 extends string | number | symbol,
    K7 extends string | number | symbol,
    K8 extends string | number | symbol,
    V = S["def"][K1][K2][K3][K4][K5][K6][K7][K8],
>(
    schema: S,
    ...path: [K1, K2, K3, K4, K5, K6, K7, K8],
): V

get$<
    S extends t_Schema<t_LowerBound<unknown>>,
    K1 extends string | number | symbol,
    K2 extends string | number | symbol,
    K3 extends string | number | symbol,
    K4 extends string | number | symbol,
    K5 extends string | number | symbol,
    K6 extends string | number | symbol,
    K7 extends string | number | symbol,
    V = S["def"][K1][K2][K3][K4][K5][K6][K7],
>(
    schema: S,
    ...path: [K1, K2, K3, K4, K5, K6, K7],
): V

get$<
    S extends t_Schema<t_LowerBound<unknown>>,
    K1 extends string | number | symbol,
    K2 extends string | number | symbol,
    K3 extends string | number | symbol,
    K4 extends string | number | symbol,
    K5 extends string | number | symbol,
    K6 extends string | number | symbol,
    V = S["def"][K1][K2][K3][K4][K5][K6],
>(
    schema: S,
    ...path: [K1, K2, K3, K4, K5, K6],
): V

get$<
    S extends t_Schema<t_LowerBound<unknown>>,
    K1 extends string | number | symbol,
    K2 extends string | number | symbol,
    K3 extends string | number | symbol,
    K4 extends string | number | symbol,
    K5 extends string | number | symbol,
    V = S["def"][K1][K2][K3][K4][K5],
>(
    schema: S,
    ...path: [K1, K2, K3, K4, K5],
): V

get$<
    S extends t_Schema<t_LowerBound<unknown>>,
    K1 extends string | number | symbol,
    K2 extends string | number | symbol,
    K3 extends string | number | symbol,
    K4 extends string | number | symbol,
    V = S["def"][K1][K2][K3][K4],
>(
    schema: S,
    ...path: [K1, K2, K3, K4],
): V

get$<
    S extends t_Schema<t_LowerBound<unknown>>,
    K1 extends string | number | symbol,
    K2 extends string | number | symbol,
    K3 extends string | number | symbol,
    V = S["def"][K1][K2][K3],
>(
    schema: S,
    ...path: [K1, K2, K3],
): V

get$<
    S extends t_Schema<t_LowerBound<unknown>>,
    K1 extends string | number | symbol,
    K2 extends string | number | symbol,
    V = S["def"][K1][K2],
>(
    schema: S,
    ...path: [K1, K2],
): V

get$<
    S extends t_Schema<t_LowerBound<unknown>>,
    K1 extends string | number | symbol,
    V = S["def"][K1],
>(
    schema: S,
    ...path: [K1],
): V

get$<S extends t_Schema<t_LowerBound<unknown>>>(schema: S, ...path: []): S