Type Alias _E<T, $O>

_E<T, $O>: T extends string
    ? _StringType<T> extends infer R
        ? R extends "stringLiteral"
            ? $ResolveBranch<T, $O, [$Else]>
            : $ResolveBranch<T, $O, [$Then]>
        : never
    : $ResolveBranch<T, $O, [$Then]>