type Enumerate = Acc['length'] extends N ? Acc[number] : Enumerate; type Range = Exclude, Enumerate>; export type ValidPositiveInteger = Range<1, 999>; export {};