Type Alias CAS<T>

CAS: T extends `0${infer R}`
    ? CAS<R>
    : FilterDigits<T> extends `${infer SA}-${infer SB}-${string}`
        ? Compose<
            Len<SA> extends 0
                ? "11"
                : Len<SA> extends 1 ? `${SA}1` : Trunc<SA, [0, 0, 0, 0, 0, 0, 0]>,
            Len<SB> extends 0
                ? "00"
                : Len<SB> extends 1 ? `${SB}0` : Trunc<SB, [0, 0]>,
        >
        : `${string}-${string}-${string}`