Type Alias AddNegation<Parts>

AddNegation: Parts extends readonly [
    infer First extends AssertionPart,
    ...(infer Rest extends readonly AssertionPart[]),
]
    ? First extends PhraseLiteralChoice
        ? readonly [
            {
                [K in keyof First]: First[K] extends PhraseLiteral
                    ? Negation<First[K]>
                    : never
            },
            ...AddNegation<Rest>,
        ]
        : First extends PhraseLiteral
            ? readonly [Negation<First>, ...AddNegation<Rest>]
            : readonly [First, ...AddNegation<Rest>]
    : readonly []