Type Alias Size<T>

Size<T>: T extends primitive.Valid
    ? primitive.Size<T>
    : T extends Like<infer M>
        ? M["size"]
        : number

Type Parameters