3 ms·
Probably a different thing entirely than the specialization. A new lattice. A pair of uint64 for int ranges that has its own join function, maybe. CF Bolz-Terei
by tekknolagi 2y ago
Probably a different thing entirely than the specialization. A new lattice. A pair of uint64 for int ranges that has its own join function, maybe. CF Bolz-Tereick has a good blog post about this for pypy and it also talks about known bits
- cobertos 2y agoAh! So like lower and upper bound that join separately to include the total min and total max between the two ranges types. I see