Type Alias _D<T, $O>

_D<T, $O>: T extends object
    ? IdentityEqual<T, {}, $ResolveBranch<T, $O, [$Then]>, IsNever<keyof T, {
        $else: $ResolveBranch<T, $O, [$Then]>;
        $then: $ResolveBranch<T, $O, [$Else]>;
    }>>
    : $ResolveBranch<T, $O, [$Then]>

Type Parameters