Type Alias _SD<T, $O>

_SD<T, $O>: _DistributeMap<T> extends infer R
    ? ["aBcD" | "AbCd" | "abcd"] extends [R]
        ? $ResolveBranch<boolean, $O, [$Then]> | $ResolveBranch<Exclude<T, boolean>, $O, [$Else]>
        : ["aBcD" | "AbCd"] extends [R]
            ? $ResolveBranch<T, $O, [$Then]>
            : ["aBcd" | "Abcd"] extends [R]
                ? $ResolveBranch<T, $O, [$Then]>
                : $ResolveBranch<T, $O, [$Else]>
    : never

Type Parameters