Type Alias IsAllOptional<T>

IsAllOptional: [keyof T] extends [never]
    ? true
    : { [K in keyof T]-?: IsOptional<T, K> }[keyof T] extends true
        ? true
        : false

Indicates whether all the properties of T are optional