Type Alias ValuesOf<T>

ValuesOf: T extends BoolVar
    ? boolean
    : T extends NumericVar
        ? number
        : T extends readonly unknown[]
            ? { -readonly [K in keyof T]: ValuesOf<T[K]> }
            : T extends Record<string, unknown>
                ? { -readonly [K in keyof T]: ValuesOf<T[K]> }
                : never