Type Alias _AllExtend<TArray, Type, Options>

_AllExtend: IfNotAnyOrNever<
    TArray,
    TArray extends readonly [infer First, ...(infer Rest)]
        ? IsNever<First> extends true
            ? Or<Or<IsNever<Type>, IsAny<Type>>, Not<Options["strictNever"]>> extends true
                ? _AllExtend<Rest, Type, Options>
                : false
            : First extends Type ? _AllExtend<Rest, Type, Options> : false
        : true,
    false,
    false,
>