Type Alias $<A, B, $O>

$: $Distributive.Parse<
    $O,
    {
        $else: [A] extends [B]
            ? $ResolveBranch<$O, [$Else], A>
            : $ResolveBranch<$O, [$Then], A>;
        $then: A extends B
            ? $ResolveBranch<$O, [$Else], A>
            : $ResolveBranch<$O, [$Then], A>;
    },
>

🧰 type util

Validate if A is assignable to B.

This is the internal logic of NotAssignable. It does not check against special types.

It is suitable for building custom types.