import type { Equal, Expect } from '@type-challenges/utils' type Deced = [10, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9] type Signum = Deced[number] type Reped< S extends string, C extends Signum, R extends string = '', > = (C extends 0 ? R : Reped ) type t0 = 'k' type t1 = Reped type t2 = Reped type t3 = Reped type t4 = Reped type t5 = Reped type t6 = Reped type Signums< N extends string, Acc extends readonly Signum[] = [], > = N extends `${infer Head extends Signum}${infer Rest}` ? Signums : Acc type Gened = Signums extends [ infer N6 extends Signum, infer N5 extends Signum, infer N4 extends Signum, infer N3 extends Signum, infer N2 extends Signum, infer N1 extends Signum, infer N0 extends Signum, ] ? `${'' }${Reped }${Reped }${Reped }${Reped }${Reped }${Reped }${Reped }` : never type cases = [ Expect>, 0>>, Expect>, 1>>, Expect>, 2>>, Expect>, 3>>, Expect>, 4>>, Expect>, 5>>, Expect>, 55>>, Expect>, 555>>, Expect>, 5555>>, Expect>, 55555>>, Expect>, 8464592>>, Expect>, 1373690>>, Expect>, 1707793>>, Expect>, 196268>>, Expect>, 6646734>>, Expect>, 538159>>, Expect>, 58901>>, Expect>, 8414001>>, Expect>, 1740697>>, Expect>, 2281441>>, ]

Length of String 3

Length of String 3

Related Challenges