Bounded numeric types
by g
#187 in #library
43KB 1K SLoC
Library defines an integer bounded by closed interval.
~39KB