generalized IntMap - IntegerMap or IntegralMap

Joachim Breitner mail at
Mon Jan 22 15:53:28 UTC 2018


Am Montag, den 22.01.2018, 04:05 -0500 schrieb David Feuer:
> Jonathan S. has been working (on and off) on a wholesale replacement for IntMap.

what is the plan here? I am currently in the process of formally
verifying IntSet (and later IntMap), so I am curious about what is
going to change here.


Joachim Breitner
  mail at
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <>

More information about the Libraries mailing list