Type alias If_StrLenGt<str1, str2>

If_StrLenGt<str1, str2>: str1 extends `${string}${infer rest1}`
    ? str2 extends `${string}${infer rest2}`
        ? If_StrLenGt<rest1, rest2>
        : true
    : false

比较一个字符串的长度是否大于另一个字符串的长度