Type Alias _D<T, $O>

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