Variable default`Const`

default: {
    0: typeof default;
    1: typeof default;
    10: typeof default;
    11: typeof default;
    12: typeof default;
    13: typeof default;
    2: typeof default;
    3: typeof default;
    4: typeof default;
    5: typeof default;
    6: typeof default;
    7: typeof default;
    8: typeof default;
    9: typeof default;
} = ...