Type Alias ValidateSchema<S, Known>

ValidateSchema: {
    [K in keyof S]: S[K] extends string
        ? IsKnownTypeString<S[K], Known> extends true
            ? S[K]
            : UnknownAlias<S[K]>
        : S[K] extends Validator<unknown>
            ? S[K]
            : S[K] extends readonly (infer E)[]
                ? readonly ValidateElement<E, Known>[]
                : S[K] extends Record<string, unknown>
                    ? ValidateSchema<S[K], Known>
                    : S[K]
}