export namespace Condition { type IsString<T> = T extends string ? string : number; export type Num = IsString<number>; export type A = IsString<string>; } const a:Condition.A ='d'