Function t_tuple

t_tuple<
    S extends readonly t.Predicate[],
    T extends { [I in string | number | symbol]: t.Entry<S[I<I>]> },
>(
    ...schemas: ValidateTuple<S>,
): t_tuple<
    t_tuple.from<
        ValidateTuple<
            S,
            t_optional<any>,
            ValidateOptionals<[...S[]], t_optional<any>, []>,
        >,
        T,
    >,
>

t_tuple<S extends readonly t_Schema<t_LowerBound<unknown>>[]>(
    ...schemas: ValidateTuple<S>,
): t_tuple<
    t_tuple.from<
        ValidateTuple<
            S,
            t_optional<any>,
            ValidateOptionals<[...S[]], t_optional<any>, []>,
        >,
        S,
    >,
>

t_tuple<
    S extends readonly t.Predicate[],
    T extends { [I in string | number | symbol]: t.Entry<S[I<I>]> },
>(
    ...args: [
        ...schemas: ValidateTuple<
            S,
            t_optional<any>,
            ValidateOptionals<[...S[]], t_optional<any>, []>,
        >[],
        options: SchemaOptions,
    ],
): t_tuple<
    t_tuple.from<
        ValidateTuple<
            S,
            t_optional<any>,
            ValidateOptionals<[...S[]], t_optional<any>, []>,
        >,
        T,
    >,
>

t_tuple<S extends readonly t_Schema<t_LowerBound<unknown>>[]>(
    ...args: [
        ...schemas: ValidateTuple<
            S,
            t_optional<any>,
            ValidateOptionals<[...S[]], t_optional<any>, []>,
        >[],
        options: SchemaOptions,
    ],
): t_tuple<
    t_tuple.from<
        ValidateTuple<
            S,
            t_optional<any>,
            ValidateOptionals<[...S[]], t_optional<any>, []>,
        >,
        S,
    >,
>

t_tuple<
    S extends readonly t.Predicate[],
    T extends { [I in string | number | symbol]: t.Entry<S[I<I>]> },
>(
    ...schemas: ValidateTuple<S>,
): t_tuple<
    t_tuple.from<
        ValidateTuple<
            S,
            t_optional<any>,
            ValidateOptionals<[...S[]], t_optional<any>, []>,
        >,
        T,
    >,
>

t_tuple<S extends readonly t_Schema<t_LowerBound<unknown>>[]>(
    ...schemas: ValidateTuple<S>,
): t_tuple<
    t_tuple.from<
        ValidateTuple<
            S,
            t_optional<any>,
            ValidateOptionals<[...S[]], t_optional<any>, []>,
        >,
        S,
    >,
>