Function values

values<R extends RowLikeStrict>(
    ...rows: [
        R,
        ...Expand<
            { [key in string
            | number
            | symbol]: R[key] | ScalarResult<R[key]> },
        >[],
    ],
): Values<R>

values<R extends RowLikeCanonicalizable>(
    ...rows: [
        R,
        ...Expand<
            {
                [key in string
                | number
                | symbol]:
                    | CanonicalRowType<R>[key]
                    | ScalarResult<CanonicalRowType<R>[key]>
            },
        >[],
    ],
): Values<Expand<CanonicalRowType<R>>>