jcprpr
Results
1
comments of
jcprpr
As an alternative, you could make uint subranges behave the same way as modular types in Ada, so that the lower bound is always 0 and arithmetic is done modulo...