Type Alias _AllExtend<TArray, Type, Options>

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